PT-2019-18647 · None · Boolector

Published 2019-02-07 · Updated 2022-05-14 · CVE-2019-7560

Positive Technologies (AI Summary)

CVSS v4.0

7.1

High

Base vector

AV:N/AC:L/AT:N/PR:N/UI:P/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N

Name of the Vulnerable Software and Affected Versions Boolector version 3.0.0

Description The issue arises in the parser/btorsmt2.c file of Boolector, where opening a specially crafted input file can lead to a use after free error in the get failed assumptions or btor delete functions.

Recommendations For Boolector version 3.0.0, consider avoiding the use of specially crafted input files until a patch is available. As a temporary workaround, restrict access to the get failed assumptions and btor delete functions to minimize the risk of exploitation. At the moment, there is no information about a newer version that contains a fix for this issue.

Exploit

Fix

Use After Free

Weakness Enumeration

CWE-416

Related Identifiers

CVE-2019-7560

GHSA-G58X-799H-V9H6

PYSEC-2019-252

Affected Products

Boolector

References · 8

• 🔥 https://github.com/Boolector/boolector/issues/29 · Exploit
• 🔥 https://github.com/Boolector/boolector/issues/28 · Exploit
• https://nvd.nist.gov/vuln/detail/CVE-2019-7560 · Security Note
• https://osv.dev/vulnerability/PYSEC-2019-252 · Vendor Advisory
• https://osv.dev/vulnerability/CVE-2019-7560 · Vendor Advisory
• https://osv.dev/vulnerability/GHSA-g58x-799h-v9h6 · Vendor Advisory
• https://github.com/boolector/boolector · Note
• https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml · Note