CVE-2019-7559 Memory corruption in n/a
An out-of-bounds write in Boolector Btor2Tools allows attackers to execute arbitrary code or cause denial of service via a crafted input file.
- 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
- None listed
What is CVE-2019-7559?
CVE-2019-7559 is a medium-severity memory corruption 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 btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
Weakness: CWE-787
Which versions are affected by CVE-2019-7559?
It affects 1 product.
Products include Btor2tools Project Btor2tools.
How do I fix CVE-2019-7559?
No fix has been published for CVE-2019-7559 yet. Limit exposure of the affected software until one is available.
Upgrade to the fixed version. Memory-safe languages, compiler hardening and fuzzing prevent most new cases. More about Memory corruption.
Is CVE-2019-7559 being exploited?
There is no known exploitation of CVE-2019-7559 in the wild and no public exploit code.
Sources
Also known as GHSA-qp2g-vj63-24p5.