Use After Free in Boolector Project

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.

Vulnerability class: Use-After-Free

EPSS: 0.010 (57.9th percentile) — read the EPSS interpretation.

CVSS v3 metric

CVSS v3 base score 5.5 (Medium). Vector: CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H.

Affected products

Boolector_project Boolector — versions 3.0.0
N/a — versions n/a

Weakness classification (CWE)

CWE-416 — Use After Free

References

cve@mitre.org (Exploit, Patch, Third Party Advisory, x_refsource_MISC)
cve@mitre.org (Exploit, Patch, Third Party Advisory, x_refsource_MISC)

Frequently asked questions

What is CVE-2019-7560?: CVE-2019-7560 is a medium-severity vulnerability in Boolector Project, classified under Use After Free. CVSS score: 5.5/10. Published 2019-02-07.
How severe is CVE-2019-7560?: Medium severity. CVSS v3 base score is 5.5 out of 10.