CVE-2019-7560

NameCVE-2019-7560
DescriptionIn 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.
SourceCVE (at NVD; CERT, LWN, oss-sec, fulldisc, bugtraq, EDB, Metasploit, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, Mageia, GitHub advisories/code/issues, web search, more)

Vulnerable and fixed packages

The table below lists information on source packages.

Source PackageReleaseVersionStatus
boolector (PTS)buster, bullseye1.5.118.6b56be4.121013-1fixed
bookworm, sid1.5.118.6b56be4.121013-1.3fixed

The information below is based on the following data on fixed versions.

PackageTypeReleaseFixed VersionUrgencyOriginDebian Bugs
boolectorsource(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

Search for package or bug name: Reporting problems