What’s Vulnerable › Vulnerabilities

CVE-2019-7559

• Severity: medium (CVSS 5.5 v3.0)
• Exploited in the wild: not listed in CISA KEV
• EPSS: 0.8% probability of exploitation in the next 30 days
• Public exploit or detection template: yes
• Published: 2019-02-07 · updated 2026-06-17
• Weakness: CWE-787

Description

In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.

Affected products

• Btor2Tools Project Btor2Tools: through 2019-01-15

References

• https://github.com/Boolector/boolector/issues/30
• https://github.com/Boolector/boolector/issues/30

Get alerted when CVE-2019-7559 or the next vulnerability affects your stack