CVE-2019-7559
UnknownEPSS 0.84%
Last modified
CVE-2019-7559 is a vulnerability of currently unknown severity. In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.. EPSS estimates a 0.84% chance of exploitation in the next 30 days.
Description
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
Metrics
Weakness Enumeration
Affected Software
| Vendor | Product | Versions |
|---|---|---|
| Btor2tools Project | Btor2tools | <= 2019-01-15 |
References
- https://github.com/Boolector/boolector/issues/30Exploit, Patch, Third Party Advisory
- https://github.com/Boolector/boolector/issues/30Exploit, Patch, Third Party Advisory
Timeline
- Published
- Last Modified
- Status
- Modified
Frequently Asked Questions
What is CVE-2019-7559?
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
How severe is CVE-2019-7559?
Severity scoring for CVE-2019-7559 is pending analysis. The EPSS model estimates a 0.84% probability of exploitation in the next 30 days.
How do I fix CVE-2019-7559?
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-7559?
Run a free Strix scan to check your systems for this vulnerability.
Scan your code nowSource: NVD / NIST