CVE-2019-7560

See a problem?
Please try reporting it to the source first.
Source
https://cve.org/CVERecord?id=CVE-2019-7560
Import Source
https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2019-7560.json
JSON Data
https://api.osv.dev/v1/vulns/CVE-2019-7560
Aliases
Published
2019-02-07T07:29:00.487Z
Modified
2026-07-08T16:28:15.368487Z
Severity
  • 5.5 (Medium) CVSS_V3 - CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H CVSS Calculator
Summary
[none]
Details

In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in getfailedassumptions or btor_delete.

References

Affected packages

Git / github.com/boolector/boolector

Affected ranges

Type
GIT
Repo
https://github.com/boolector/boolector
Events
Introduced
698cd9d69f757997f0e44668dc8091efeec498bf
Last affected
698cd9d69f757997f0e44668dc8091efeec498bf
Database specific 
{
    "source": "CPE_STRING",
    "cpe": "cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*",
    "extracted_events": [
        {
            "introduced": "3.0.0"
        },
        {
            "last_affected": "3.0.0"
        }
    ]
}

Affected versions

3.*
3.0.0

Database specific

source 
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2019-7560.json"