CVE-2019-7560
PoC ×2—CVSS 3.0
5.5 medium
EPSS
<1%p60
Published
()
Modified
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.
- Vendors
- boolector project
- Products
- boolector
- Weakness
- CWE-416
- Vector
- CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
In the news0 stories
No ingested article mentions this CVE yet.