VulnerabilityModified
CVE-2019-7560
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.
MEDIUM 5.5EPSS 0.96%
Does this matter?
Lower severity and a low EPSS score (0.96%). Track it; it rarely justifies an emergency change on its own.
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.
- CVSS 3.0
- 5.5 MEDIUMCVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
- EPSS
- 0.96% probability · 60th percentile
- CISA KEV
- Not listed
- Weakness
- CWE-416
- Affected
- boolector project/boolector
- Source
- cve@mitre.org
References
- https://github.com/Boolector/boolector/issues/28Exploit, Patch, Third Party Advisory
- https://github.com/Boolector/boolector/issues/29Exploit, Patch, Third Party Advisory
- https://github.com/Boolector/boolector/issues/28Exploit, Patch, Third Party Advisory
- https://github.com/Boolector/boolector/issues/29Exploit, Patch, Third Party Advisory
Source: NVD record, EPSS from FIRST.org, KEV from CISA. Refreshed daily.