CVE-2019-7559 is an out-of-bounds write vulnerability in btor2parser/btor2parser.c within Boolector Btor2Tools prior to 2019-01-15. This flaw can be triggered by opening a specially crafted input file, leading to a denial of service. With a CVSS score of 5.5 (Medium), it requires local access and user interaction to exploit, resulting in high availability impact. There is no evidence of active exploitation, public exploit code, or significant community discussion surrounding this vulnerability.
| Vendor | Product | Version(s) | CPE |
|---|---|---|---|
<= 2019-01-15CPE matchmatch criteria | cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:* |
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.