| Name | CVE-2019-7560 |
| 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. |
| Source | CVE (at NVD; CERT, LWN, oss-sec, fulldisc, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more) |
Vulnerable and fixed packages
The table below lists information on source packages.
| Source Package | Release | Version | Status |
|---|
| boolector (PTS) | bullseye | 1.5.118.6b56be4.121013-1 | fixed |
| sid, trixie, bookworm | 1.5.118.6b56be4.121013-1.3 | fixed |
The information below is based on the following data on fixed versions.
| Package | Type | Release | Fixed Version | Urgency | Origin | Debian Bugs |
|---|
| boolector | source | (unstable) | (not affected) | | | |
Notes
- boolector <not-affected> (Vulnerable code introduced later)
https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29
https://github.com/Boolector/boolector/commit/8d979d02e0482c7137c9f3a34e6d430dbfd1f5c5