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, 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 PackageReleaseVersionStatus
boolector (PTS)buster, bullseye1.5.118.6b56be4.121013-1fixed
trixie, sid, bookworm1.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)


- boolector <not-affected> (Vulnerable code introduced later)

Search for package or bug name: Reporting problems