CVE-2019-7560 Boolector use after free
A use-after-free vulnerability in Boolector allows attackers to execute arbitrary code or cause denial of service via crafted input files.
- Exploited in the wild
- Not known
- Login needed
- Not needed
- Attackable
- Local or same network only
- Victim action needed
- A user has to click or open something
- Fix
- Available
What is CVE-2019-7560?
CVE-2019-7560 is a medium-severity use after free vulnerability in n/a, published on 7 Feb 2019. It can only be exploited from the same machine or local network, and only if a user opens a file or follows a link.
Official description
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.
Weakness: CWE-416
Which versions are affected by CVE-2019-7560?
3 open source packages ship an affected version, including pyboolector. It affects 1 product.
| Package | Affected | Fixed in |
|---|---|---|
pyboolector PyPI | All versions | 3.1.0 |
pyboolector PyPI | All versions | 3.1.0 |
pyboolector PyPI | All versions | 3.1.0 |
Products include Boolector Project Boolector.
How do I fix CVE-2019-7560?
Upgrade pyboolector to 3.1.0 or later.
Upgrade to the fixed version. These bugs are found with fuzzing and sanitisers and avoided by memory-safe languages. More about Use after free.
Is CVE-2019-7560 being exploited?
There is no known exploitation of CVE-2019-7560 in the wild and no public exploit code.
Sources
Also known as GHSA-g58x-799h-v9h6, PYSEC-2019-252.