In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to…
Priority LOW 27CWE-416Published · Updated
Key facts
- Attack vector
- Local
- Privileges required
- None
- User interaction
- Required
- Attack complexity
- Low
- Impact type
- Denial of service
- Confidentiality · integrity · availability
- None · None · High
- Fix status
- Fixed
Attack profile from CVSS 3.0 · NVD. Fix status from CNA and GitHub. Impact type from CWE-416 and the CVSS impact.
Summary
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 it matters now
EPSS 0.00959 61st percentileScored 2026-11-07
Public exploit Yes 2 exploit referencesTagged by NVD
Fix Fixed pyboolector (PyPI): 3.1.0
SSVC decision points
Not available: CISA has not published SSVC decision points for this record.
Affected products
| Vendor | Product | Affected versions | Fixed in | Status | Source |
|---|---|---|---|---|---|
| — | — | all versions | — | No fix listed | CNA |
| — | pyboolector (PyPI) | before 3.1.0 | 3.1.0 | Patch available | GHSA-g58x-799h-v9h6 |
- — Vendor— Affected all versions Fixed in — No fix listed CNA
- pyboolector (PyPI) Vendor— Affected before 3.1.0 Fixed in 3.1.0 Patch available GHSA-g58x-799h-v9h6
CPE configurations NVD · 1
| CPE | Versions | Role | Vendor |
|---|---|---|---|
| cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* | 3.0.0 | Vulnerable | Boolector Project |
- cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* Versions 3.0.0 Vulnerable ·Boolector Project
Remediation
- Fix · GHSA-g58x-799h-v9h6 pyboolector (PyPI) Fixed in 3.1.0 Advisory →
Timeline
- 2026-10-02 Threatist record created from CVE-2019-7560
- 2026-10-03 Alias added: GHSA-g58x-799h-v9h6
References
Sources
- CVE-2019-7560 · CVE Program
- CVE-2019-7560 · NVD
- FIRST EPSS
- GHSA-g58x-799h-v9h6 · GitHub Advisory Database · CC BY 4.0
This product uses the NVD API but is not endorsed or certified by the NVD. Sources and licences