CVE-2019-7560
- Source
- https://cve.org/CVERecord?id=CVE-2019-7560
- Import Source
- https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2019-7560.json
- JSON Data
- https://api.osv.dev/v1/vulns/CVE-2019-7560
- Aliases
- Published
- 2019-02-07T07:29:00Z
- Modified
- 2026-10-20T10:47:41Z
- 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 get_failed_assumptions or btor_delete.
- References
Affected packages
Git / github.com/boolector/boolector
Affected ranges
- Type
- GIT
- Repo
- https://github.com/boolector/boolector
- Events
-
IntroducedLast Affected
- Database specific
-
Show details
{ "extracted_events": [ { "cpe": "cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*", "range": [ { "introduced": "3.0.0" }, { "last_affected": "3.0.0" } ], "source": "CPE_STRING" } ] }