🛡️ CVE-2019-7560 — pyboolector

🟠 CVSS 8.0 — High ✅ No Known Exploit CWE-416 OSV
8.0
CVSS Score
0 Low4 Medium7 High9 Critical10

Description

Boolector use after free

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 this vulnerability can be exploited

This issue can be reached over the network, attack complexity is low, an attacker needs no privileges on the target. A user must be tricked into taking some action. Rated impact: confidentiality none, integrity none, availability high.

Weakness class

CVE-2019-7560 is classified as CWE-416: Use After Free. Memory is used after being released, so its contents may already belong to something else.

Affected software

CVE-2019-7560 is recorded against 1 package.

  • pyboolector (fixed in 3.1.0)

Timeline and source

Published on 14 May 2022 and last revised on 26 November 2024. No public exploit is currently recorded for this entry. Record sourced from OSV.

References

nvd.nist.gov (Advisory)
github.com (Web)
github.com (Web)
github.com (Package)
github.com (Web)

Details

Severity HIGH
CVSS Score 8.0
CVSS Vector CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:P/VC:N/VI:N/VA:H/SC:N/SI:N/SA:N
CWE CWE-416
Public Exploit ✅ No
Source OSV
Published 2022-05-14
Updated 2026-08-12
Modified 2024-11-26
Fix URL N/A

Affected Packages

Software From version Fixed in
pyboolector 3.1.0

Site Security Check

Is pyboolector part of your stack?

CVE-2019-7560 is rated CVSS 8.0 High. BotEraser scans your installation against known CVE records and tells you whether this vulnerability applies to the versions you actually run.

Scan My Site Free →

No credit card required  ·  Results in minutes

ⓘ Data Notice: The information presented above has been compiled from publicly available internet sources. Boteraser aggregates this data solely for informational purposes and does not independently classify, evaluate, or endorse any findings about the vulnerabilities listed. The accuracy and completeness of this information is the sole responsibility of the original publishers. Boteraser and its operators accept no liability for any decisions made based on this data.