Home

CVE-2019-7560

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.

Risk Information

Base Score
5.5
MODERATE
Vector
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
EPSS Score
Exploitation Probability
0.21

Associated Vulnerability

VulnerabilityOS Platform
Vulnerabilities CVE-2019-7560 are fixed in Python-pyboolector 3.1.0Windows
Vulnerabilities CVE-2019-7560 are fixed in Python-pyboolector for linux 3.1.0Linux

Patch Details

No records found

References

https://nvd.nist.gov/vuln/detail/CVE-2023-1234
https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2023-1234