PatchTheCVEbtor2tools vulnerabilities and fixes
Recent CVEs affecting btor2tools, with upgrade or downgrade steps. 1 tracked.
btor2tools 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 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 being exploited right now?
None of the tracked btor2tools CVEs are on the CISA Known Exploited Vulnerabilities list at the moment. This is checked every 20 minutes.
Which btor2tools 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.