Vulnerability CVE-2019-7560
Published: 2019-02-07

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.

Type:

CWE-416

 (Use After Free)

CVSS2 => (AV:N/AC:M/Au:N/C:N/I:N/A:P)

CVSS Base Score
Impact Subscore
Exploitability Subscore
4.3/10
2.9/10
8.6/10
Exploit range
Attack complexity
Authentication
Remote
Medium
No required
Confidentiality impact
Integrity impact
Availability impact
None
None
Partial
Affected software
Boolector project -> Boolector 

 References:
https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29
Copyright 2024, cxsecurity.com

 

Back to Top