CVE-2019-7560

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.
ProviderTypeBase ScoreAtk. VectorAtk. ComplexityPriv. RequiredVector
NISTNIST
5.5 MEDIUM
LOCAL
LOW
NONE
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
mitreCNA
---
---
CVEADP
---
---
Base Score
CVSS 3.x
EPSS Score
Percentile: 43%
VendorProductVersion
boolector_projectboolector
3.0.0
𝑥
= Vulnerable software versions
Debian logo
Debian Releases
Debian Product
Codename
boolector
bullseye
1.5.118.6b56be4.121013-1
fixed
sid
1.5.118.6b56be4.121013-1.3
fixed
trixie
1.5.118.6b56be4.121013-1.3
fixed
bookworm
1.5.118.6b56be4.121013-1.3
fixed
Ubuntu logo
Ubuntu Releases
Ubuntu Product
Codename
boolector
cosmic
not-affected
bionic
not-affected
xenial
not-affected
trusty
dne
Common Weakness Enumeration
References
https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29
https://github.com/Boolector/boolector/issues/28
https://github.com/Boolector/boolector/issues/29