PT-2019-18646 · Boolector · Boolector Btor2Tools

Bugs-Syssec · Published 2019-02-07 · Updated 2019-02-08 · CVE-2019-7559

Positive Technologies (AI Summary)

CVSS v3.1

5.5

Medium

Base vector

AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H

Name of the Vulnerable Software and Affected Versions Boolector Btor2Tools versions prior to 2019-01-15

Description The issue arises when opening a specially crafted input file, leading to an out of bounds write in pusht bfr.

Recommendations For versions prior to 2019-01-15, update to a version released after 2019-01-15 to resolve the issue.

Exploit

Fix

Memory Corruption

Weakness Enumeration

CWE-787

Related Identifiers

CVE-2019-7559

Affected Products

Boolector Btor2Tools

References · 3

• 🔥 https://github.com/Boolector/boolector/issues/30 · Exploit
• https://osv.dev/vulnerability/CVE-2019-7559 · Vendor Advisory
• https://nvd.nist.gov/vuln/detail/CVE-2019-7559 · Security Note