Back to Database
Status published
Medium
CVE-2019-7560
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input...
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.
Impact Analysis
Refer to official advisory for detailed impact metrics.
Remediation
Ensure systems are updated to the latest vendor-supplied patch levels.
THREAT MONITOR
Am I Vulnerable?
Launch our assessment wizard to check if your infrastructure is exposed to • CVE-2019-7560
Credits & Attribution
No credits recorded in the NVD database.
Affected Vendor
boolector project
View all reports →Affected Software
boolector
Vulnerable Versions:
3.0.0
Timeline
Official Publish:
February 7th, 2019
Last Modified:
August 4th, 2024
Added to House:
July 20th, 2026
CVSS Vectors
V3:
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
Weaknesses (CWE)
No CWE data available
MITRE ATT&CK TTPs
No associated TTPs found for this vulnerability.