CVE-2019-7559: In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file

Q: How do I fix CVE-2019-7559?

btor2tools: upgrade to newer than 2019-01-15. Exact commands for each OS are on this page.

Q: Is CVE-2019-7559 being exploited?

CVE-2019-7559 is not on the CISA Known Exploited Vulnerabilities list at the time of the last update. Check again, as this can change.

Q: What does CVE-2019-7559 affect?

CVE-2019-7559 affects btor2tools. Severity is medium (CVSS 5.5). 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.

Q: How urgent is CVE-2019-7559?

Priority 39/100. Public exploit reference

Routine

MEDIUM 5.5UPGRADE

CVE-2019-7559 is a medium-severity flaw (CVSS 5.5) affecting btor2tools. Below: why it ranks where it does, which versions are affected, what to do, and the exact commands.

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.

Why this priority

Public exploit reference

A fixed release or distro patch exists.

Risk facts

CVSS score	5.5 (Medium)
Attack vector	Local
Attack complexity	Low
Privileges needed	None
User interaction	Required
EPSS exploit chance	0.8% (top 42%)
CISA exploited list	No
Weakness	CWE-787
Published	2019-02-07
Last modified	2026-06-17

Publisher (CNA): MITRE · Vendor: btor2tools project

Last updated 2026-06-17 · Sources: CVE Program, NVD, CISA KEV, EPSS and vendor advisories · How we score

Am I affected?

Timeline

2019-02-07 07:29 UTCPublished CVE record published
2026-06-17 02:40 UTCUpdated Record last modified

btor2tools project btor2tools UPGRADE

Affected: <= 2019-01-15

Fixed in: newer than 2019-01-15

Safe to downgrade to: no unaffected older release

1. Check installed version

apt-cache policy btor2tools || rpm -q btor2tools || btor2tools --version

2. UPGRADE to newer than 2019-01-15 (Debian / Ubuntu)

sudo apt update && sudo apt install --only-upgrade btor2tools

2. UPGRADE (RHEL / Amazon Linux / Fedora)

sudo dnf upgrade btor2tools

Note

Distros often backport fixes without changing the version number. Confirm with the distro advisory or changelog.

Verify at the official source NVD · CVE Program · Report a problem with this page
Scores and fixes here are computed automatically from those and other public sources. Confirm with the vendor advisory before changing production systems.

Quick answers

How do I fix CVE-2019-7559?

btor2tools: upgrade to newer than 2019-01-15. Exact commands for each OS are on this page.

Is CVE-2019-7559 being exploited?

CVE-2019-7559 is not on the CISA Known Exploited Vulnerabilities list at the time of the last update. Check again, as this can change.

What does CVE-2019-7559 affect?

CVE-2019-7559 affects btor2tools. Severity is medium (CVSS 5.5). 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.

How urgent is CVE-2019-7559?

Priority 39/100. Public exploit reference

References

← Back to latest CVEs