How severe is CVE-2019-7560?

CVE-2019-7560 has a CVSS 3.x base score of 5.5, rated medium severity. It is exploitable over local access with low attack complexity, requires no privileges and user interaction. Impact on confidentiality is none, integrity none, and availability high.

Is CVE-2019-7560 being actively exploited?

It is not currently listed in CISA's KEV catalog. Its EPSS exploit-prediction score is 1% (57th percentile), an estimate of the probability of exploitation in the next 30 days.

What products are affected by CVE-2019-7560?

CVE-2019-7560 affects Boolector Project Boolector. See the affected-products list for the exact vulnerable versions.

How do I fix CVE-2019-7560?

Review the linked vendor and NVD advisories for patched versions and mitigations, then upgrade or apply the recommended workaround.

When was CVE-2019-7560 published?

CVE-2019-7560 was published on 2019-02-07 and last updated on 2026-06-17.

CVE-2019-7560

CVE-2019-7560 is a medium-severity vulnerability in Boolector Project Boolector with a CVSS 3.x base score of 5.5. It is not currently listed as actively exploited by CISA, and its EPSS exploit-prediction score is low. The underlying weakness is classified as CWE-416.

Key facts

Severity: Medium (CVSS 3.x base score 5.5)
CVSS v2: 4.3
EPSS exploit prediction: 1% (57th percentile)
Actively exploited: Not listed in CISA KEV
Weakness: CWE-416
Affected product: Boolector Project Boolector
Published: 2019-02-07
Last modified: 2026-06-17

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.

Frequently asked questions

What is 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.
How severe is CVE-2019-7560?: CVE-2019-7560 has a CVSS 3.x base score of 5.5, rated medium severity. It is exploitable over local access with low attack complexity, requires no privileges and user interaction. Impact on confidentiality is none, integrity none, and availability high.
Is CVE-2019-7560 being actively exploited?: It is not currently listed in CISA's KEV catalog. Its EPSS exploit-prediction score is 1% (57th percentile), an estimate of the probability of exploitation in the next 30 days.
What products are affected by CVE-2019-7560?: CVE-2019-7560 affects Boolector Project Boolector. See the affected-products list for the exact vulnerable versions.
How do I fix CVE-2019-7560?: Review the linked vendor and NVD advisories for patched versions and mitigations, then upgrade or apply the recommended workaround.
When was CVE-2019-7560 published?: CVE-2019-7560 was published on 2019-02-07 and last updated on 2026-06-17.

References

Affected products (1)

cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:*

Other CWE-416 (Use After Free) vulnerabilities

CVE-2026-13782 — Critical (CVSS 10.0): Use after free in Browser in Google Chrome prior to 150.0.7871.47 allowed a remote attacker who had compromised the…
CVE-2026-4725 — Critical (CVSS 10.0): Sandbox escape due to use-after-free in the Graphics: Canvas2D component. This vulnerability was fixed in Firefox 149…
CVE-2026-4688 — Critical (CVSS 10.0): Sandbox escape due to use-after-free in the Disability Access APIs component. This vulnerability was fixed in Firefox…
CVE-2025-24085 — Critical (CVSS 10.0): A use after free issue was addressed with improved memory management. This issue is fixed in iOS 18.3 and iPadOS 18.3,…
CVE-2024-43102 — Critical (CVSS 10.0): Concurrent removals of certain anonymous shared memory mappings by using the UMTX_SHM_DESTROY sub-request of…
CVE-2021-32495 — Critical (CVSS 10.0): Radare2 has a use-after-free vulnerability in pyc parser's get_none_object function. Attacker can read freed memory…

Browse all CWE-416 (Use After Free) vulnerabilities →