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

Published · last modified .

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.

EPSS exploit prediction

EPSS: 0.008 (57.4th percentile), scored .

Very low probability of exploitation in the next 30 days; routine patching cadence is appropriate. 57th percentile — 57.4% of CVEs in the catalogue have a lower EPSS than this one. How to read EPSS.

EPSS trend (30 days)EPSS over the last 30 days for CVE-2019-7559: held from 0.008 to 0.008.

EPSS over last 30 days · oldest: 0.008 · newest: 0.008 · change: 0.000

Affected products

Weakness classification (CWE)

References

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.