CVE-2019-7560
UnknownEPSS 0.96%
Last modified
CVE-2019-7560 is a vulnerability of currently unknown severity. 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.. EPSS estimates a 0.96% chance of exploitation in the next 30 days.
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.
Metrics
Weakness Enumeration
Affected Software
| Vendor | Product | Versions |
|---|---|---|
| Boolector Project | Boolector | 3.0.0 |
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
Timeline
- Published
- Last Modified
- Status
- Modified
Frequently Asked Questions
What is 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.
How severe is CVE-2019-7560?
Severity scoring for CVE-2019-7560 is pending analysis. The EPSS model estimates a 0.96% probability of exploitation in the next 30 days.
How do I fix CVE-2019-7560?
Check the vendor references and advisories linked above for patched versions and mitigation guidance. You can also run a Strix scan to test if your systems are affected.
Are you affected by CVE-2019-7560?
Run a free Strix scan to check your systems for this vulnerability.
Scan your code nowSource: NVD / NIST