CVE-2019-7560 — MEDIUM (5.5)

Vulnerability Description

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.

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
Boolector Project	Boolector	3.0.0

Related Weaknesses (CWE)

CWE-416

References

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

FAQ

What is CVE-2019-7560?

CVE-2019-7560 is a vulnerability with a CVSS score of 5.5 (MEDIUM). In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.

How severe is CVE-2019-7560?

CVE-2019-7560 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-7560?

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