CVE-2019-7559 — MEDIUM (5.5)

Q: What is CVE-2019-7559?

CVE-2019-7559 is a vulnerability with a CVSS score of 5.5 (MEDIUM). 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.

Q: How severe is CVE-2019-7559?

CVE-2019-7559 has been rated MEDIUM with a CVSS base score of 5.5/10. Review the CVSS metrics above for detailed severity breakdown.

Q: Is there a patch for CVE-2019-7559?

Check the references section above for vendor advisories and patch information. Affected products include: Btor2Tools Project Btor2Tools.

Vulnerability 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.

CVSS Score

5.5

MEDIUM

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

Attack Vector

LOCAL

Attack Complexity

LOW

Privileges Required

NONE

User Interaction

REQUIRED

Scope

UNCHANGED

Confidentiality

NONE

Integrity

NONE

Availability

HIGH

Affected Products

Vendor	Product	Versions
Btor2Tools Project	Btor2Tools	<= 2019-01-15

Related Weaknesses (CWE)

CWE-787

References

https://github.com/Boolector/boolector/issues/30ExploitPatchThird Party Advisory
https://github.com/Boolector/boolector/issues/30ExploitPatchThird Party Advisory

FAQ

What is CVE-2019-7559?

CVE-2019-7559 is a vulnerability with a CVSS score of 5.5 (MEDIUM). 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.

How severe is CVE-2019-7559?

CVE-2019-7559 has been rated MEDIUM with a CVSS base score of 5.5/10. Review the CVSS metrics above for detailed severity breakdown.

Is there a patch for CVE-2019-7559?

Check the references section above for vendor advisories and patch information. Affected products include: Btor2Tools Project Btor2Tools.