Information on source package boolector
boolector in the Package Tracking System
boolector in the Bug Tracking System
boolector source code
boolector in the testing migration checker
Available versions
Release
Version
bookworm
1.5.118.6b56be4.121013-1.3
trixie
1.5.118.6b56be4.121013-1.3
forky
3.2.4-1
sid
3.2.4-1
Resolved issues
Bug
Description
CVE-2019-7560
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted i ...
Search for package or bug name:
Reporting problems