CVE catalog
CVE-2019-7560
boolector: CVE-2019-7560
- Severity
- Low
- Source
- [NVD] · [CVE record]
- EPSS
- 0.96% · Oct 25, 2026
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.
Vulnerable and fixed packages
Distribution-reported package versions and fixes. These do not depend on matching against the OpenFactory package catalog.
| Distribution | Package | Release | Version | Status |
|---|---|---|---|---|
| Debian | boolector | sid | 3.2.4-1 | not affected |
| Debian | boolector | forky | 3.2.4-1 | not affected |
| Debian | boolector | trixie | 1.5.118.6b56be4.121013-1.3 | not affected |
| Debian | boolector | bookworm | 1.5.118.6b56be4.121013-1.3 | not affected |
Fixed-version evidence
| Distribution | Package | Type | Release | Fixed version | Urgency | Origin | Bugs |
|---|---|---|---|---|---|---|---|
| Debian | boolector | source | sid | Not affected | unimportant | Not reported | Not reported |
| Debian | boolector | source | forky | Not affected | unimportant | Not reported | Not reported |
| Debian | boolector | source | trixie | Not affected | unimportant | Not reported | Not reported |
| Debian | boolector | source | bookworm | Not affected | unimportant | Not reported | Not reported |
OpenFactory catalog packages
[Debian 12 (Bookworm)]
- [boolector]Not affected
Details (2)
1.5.118.6b56be4.121013-1.3· amd64 · bookwormNot affected
dsa · boolector · debian · bookworm
1.5.118.6b56be4.121013-1.3· arm64 · bookwormNot affected
dsa · boolector · debian · bookworm
Observed: