What is CVE-2019-7559?

CVE-2019-7559 is a medium-severity vulnerability in Btor2tools Project, classified under Out-of-bounds Write. CVSS score: 5.5/10. Published 2019-02-07.

How severe is CVE-2019-7559?

Medium severity. CVSS v3 base score is 5.5 out of 10.

Buffer overflow in Btor2tools Project

CVE-2019-7559

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.

Vulnerability class: Buffer Overflow

EPSS: 0.008 (54.0th percentile) — read the EPSS interpretation.

CVSS v3 metric

CVSS v3 base score 5.5 (Medium). Vector: CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H.

Affected products

Btor2tools_project Btor2tools
N/a — versions n/a

Weakness classification (CWE)

CWE-787 — Out-of-bounds Write

References

cve@mitre.org (Exploit, Patch, Third Party Advisory, x_refsource_MISC)

Frequently asked questions

What is CVE-2019-7559?: CVE-2019-7559 is a medium-severity vulnerability in Btor2tools Project, classified under Out-of-bounds Write. CVSS score: 5.5/10. Published 2019-02-07.
How severe is CVE-2019-7559?: Medium severity. CVSS v3 base score is 5.5 out of 10.