CVE-2019-7560
- Source
- https://cve.org/CVERecord?id=CVE-2019-7560
- Import Source
- https://storage.googleapis.com/osv-test-cve-osv-conversion/osv-output/CVE-2019-7560.json
- JSON Data
- https://api.test.osv.dev/v1/vulns/CVE-2019-7560
- Aliases
- Published
- 2019-02-07T07:29:00.487Z
- Modified
- 2025-11-14T09:58:07.419443Z
- Severity
-
- 5.5 (Medium) CVSS_V3 - CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H CVSS Calculator
- Summary
- [none]
- Details
-
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in getfailedassumptions or btor_delete.
- References