PatchTheCVEboolector vulnerabilities and fixes
Recent CVEs affecting boolector, with upgrade or downgrade steps. 1 tracked.
boolector has 1 tracked vulnerability, 0 critical. A fixed release or vendor patch exists for 0. Most recent: 2019-02-07. Highest priority: CVE-2019-7560 (score 40/100).
- CVE-2019-7560 MEDIUM 5.5 DOWNGRADE In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in g
FAQ
How do I fix boolector 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 boolector being exploited right now?
None of the tracked boolector CVEs are on the CISA Known Exploited Vulnerabilities list at the moment. This is checked every 20 minutes.
Which boolector CVE should I patch first?
CVE-2019-7560 currently ranks highest (40/100): In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in g.