CVE-2019-7560 describes a use-after-free vulnerability in Boolector 3.0.0, specifically within the parser/btorsmt2.c component. This flaw can be triggered when opening a specially crafted input file, leading to a denial of service through crashes in get_failed_assumptions or btor_delete. The vulnerability has a CVSS score of 5.5 (Medium), indicating that an attacker would require local access and user interaction to exploit it, with the primary impact being high availability loss. There is no evidence of active exploitation, public exploit code (Metasploit, Nuclei, ExploitDB), or significant community discussion or media coverage surrounding this CVE.
| Vendor | Product | Version(s) | CPE |
|---|---|---|---|
3.0.0CPE matchmatch criteria | cpe:2.3:a:boolector_project:boolector:3.0.0:*:*:*:*:*:*:* |
CVSS version used by this source: 3.0
CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H
No social media mentions found for this CVE.
The average CVE in this peer group has 0.0 Twitter, 0.0 Reddit, 0.0 Bluesky, 0.0 Mastodon, and 0.1 GitHub mentions.
No media coverage found for this CVE.
The average CVE in this peer group has 0.1 InfoSec Media, 0.0 Vendor Blog, and 0.0 Security Researcher mentions.