CVE-2019-7560
Boolector use after free
5.5
MEDIUM
CVSS 3.1
EPSS 0.21%
Description
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 to fix CVE-2019-7560
To remediate CVE-2019-7560, upgrade the affected package to a fixed version below.
- PyPI/pyboolector—upgrade to 3.1.0 or later
- PyPI/pyboolector—upgrade to 3.1.0 or later
Is CVE-2019-7560 being exploited?
Low — EPSS is 0.2%, meaning exploitation activity has not been observed at scale.
Affected packages (2)
- from 0, < 3.1.0
- from 0, < 3.1.0
CVSS scores
| Source | Version | Severity | Vector |
|---|---|---|---|
| osv | CVSS 4.0 | — | CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:P/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N |
| osv | CVSS 3.1 | MEDIUM5.5 | CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H |