PatchTheCVEboolector project vulnerabilities
Recent CVEs affecting boolector project products. 1 tracked.
boolector project 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 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 boolector project being exploited right now?
None of the tracked boolector project CVEs are on the CISA Known Exploited Vulnerabilities list at the moment. This is checked every 20 minutes.
Which boolector project 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.