CVE-2019-7560: In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in g

This month

MEDIUM 5.5DOWNGRADE

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

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.

Why this priority

Public exploit reference

No fix is published yet: follow the downgrade or mitigation steps.

Risk facts

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

Publisher (CNA): MITRE · Vendor: boolector 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

boolector project boolector DOWNGRADE

Affected: 3.0.0

Fixed in: no fixed release known

Safe to downgrade to: a release before 3.0.0

1. Check installed version

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

2. No fixed release: DOWNGRADE to a release before 3.0.0 (Debian / Ubuntu)

apt-cache madison boolector sudo apt install boolector=<VERSION_BEFORE_3.0.0> sudo apt-mark hold boolector

2. No fixed release: DOWNGRADE (RHEL / Amazon Linux / Fedora)

dnf --showduplicates list boolector sudo dnf downgrade boolector-<VERSION_BEFORE_3.0.0> sudo dnf versionlock add boolector

Downgrade risk

Downgrading can break dependent software and may reopen older bugs. Read the distro advisory first and test on a non-production host.

After downgrade

Restart the service, and keep the package held until a fixed release ships.

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-7560?

boolector: downgrade or apply the listed mitigation. Exact commands for each OS are on this page.

Is CVE-2019-7560 being exploited?

CVE-2019-7560 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-7560 affect?

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

How urgent is CVE-2019-7560?

Priority 40/100. Public exploit reference

References

← Back to latest CVEs