CVE-2019-7560
- Source
- https://nvd.nist.gov/vuln/detail/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
- 2024-11-25T22:42:14.884068Z
- 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