PatchTheCVEbtor2tools project vulnerabilities
Recent CVEs affecting btor2tools project products. 1 tracked.
btor2tools project has 1 tracked vulnerability, 0 critical. A fixed release or vendor patch exists for 1. Most recent: 2019-02-07. Highest priority: CVE-2019-7559 (score 39/100).
- CVE-2019-7559 MEDIUM 5.5 UPGRADE In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file
FAQ
How do I fix btor2tools project vulnerabilities?
Open the CVE for your version, check the affected range, then follow the listed action: upgrade to the fixed release, or downgrade or mitigate if no fix exists yet. Commands for each OS are shown on every CVE page.
Is btor2tools project being exploited right now?
None of the tracked btor2tools project CVEs are on the CISA Known Exploited Vulnerabilities list at the moment. This is checked every 20 minutes.
Which btor2tools project CVE should I patch first?
CVE-2019-7559 currently ranks highest (39/100): In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file.