Back to search
CVE-2019-7560
Published: Feb 7, 2019
Modified: Aug 4, 2024
PUBLISHED
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.
| Vendor | Product | Versions |
|---|---|---|
n/a | n/a | affected n/a |
References
https://github.com/Boolector/boolector/issues/29
x_refsource_MISC
https://github.com/Boolector/boolector/issues/28
x_refsource_MISC
Security Training
Train your team to recognize and prevent security threats with our comprehensive security awareness program.
Start TrainingVulnerability Scanning
Discover vulnerabilities in your applications and infrastructure before attackers do.
Scan Now