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

JSON Data

https://api.osv.dev/v1/vulns/CVE-2019-7560

Aliases

Published

2019-02-07T07:29:00.487Z

Modified

2026-03-10T22:49:47.448973Z

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

Type

GIT

Repo

https://github.com/boolector/boolector

Events

Introduced

Last affected

Database specific

{
    "versions": [
        {
            "introduced": "0"
        },
        {
            "last_affected": "3.0.0"
        }
    ]
}

3.*

3.0.0

Other

smtcomp-2018

source

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