CVE-2019-7559
5.5 · MEDIUMOverview
CVE-2019-7559 is a medium-severity vulnerability affecting btor2tools_project btor2tools. It was published on February 7, 2019 and has a CVSS 3.0 base score of 5.5 (MEDIUM).
This vulnerability has a CVSS 3.0 base score of 5.5, rated MEDIUM. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
Technical Description
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
Remediation
Check the references section for vendor advisories and patches from btor2tools_project. Update btor2tools to the latest patched version. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
Affected Products
| Vendor | Product | Versions | Status |
|---|---|---|---|
| btor2tools_project | btor2tools | 0 | Affected |
Frequently Asked Questions
What is CVE-2019-7559?
CVE-2019-7559 is a medium-severity vulnerability affecting btor2tools_project btor2tools. It was published on February 7, 2019 and has a CVSS 3.0 base score of 5.5 (MEDIUM).
How severe is CVE-2019-7559?
This vulnerability has a CVSS 3.0 base score of 5.5, rated MEDIUM. It requires local or adjacent network access to exploit. No authentication or special privileges are required for exploitation.
How do I fix or remediate CVE-2019-7559?
Check the references section for vendor advisories and patches from btor2tools_project. Update btor2tools to the latest patched version. If immediate patching is not possible, review the CVSS vector to understand the attack surface and apply compensating controls such as network segmentation or access restrictions.
How can CyberStrike help with CVE-2019-7559?
CyberStrike's AI-powered security agents can automatically detect CVE-2019-7559 across your infrastructure using autonomous pentesting, DAST scanning, and HackBrowser. The platform continuously monitors for known vulnerabilities and provides actionable remediation guidance prioritized by real-world exploitability.
How CyberStrike Helps
AI agents map your attack surface to find vulnerabilities like this one.
Automated penetration testing that runs continuously, not just quarterly.
AI-driven PR review catches vulnerable dependencies before they ship.
Browser-based exploitation validates findings with real proof-of-concept.
Related MEDIUM CVEs from 2019
View all →Vulnerability in the Oracle Web Cache component of Oracle Fusion Middleware (subcomponent: ESI/Parti
DLL Search Order Hijacking vulnerability in Microsoft Windows client in McAfee Total Protection (MTP
Yamaha routers RT57i Rev.8.00.95 and earlier, RT58i Rev.9.01.51 and earlier, NVR500 Rev.11.00.36 and
Yamaha routers RT57i Rev.8.00.95 and earlier, RT58i Rev.9.01.51 and earlier, NVR500 Rev.11.00.36 and
BN-SDWBP3 firmware version 1.0.9 and earlier allows attacker with administrator rights on the same n
Buffer overflow in BN-SDWBP3 firmware version 1.0.9 and earlier allows an attacker on the same netwo
A vulnerability in the TCP socket code of Cisco IOS and IOS XE Software could allow an unauthenticat
An improper authorization flaw was found in the Smart Class feature of Foreman. An attacker can use
A vulnerability in the one-x Portal component of IP Office could allow an authenticated user to perf
An issue was discovered in OpenSSH 7.9. Due to missing character encoding in the progress display, a
In OpenSSH 7.9, due to accepting and displaying arbitrary stderr output from the server, a malicious
IBM Tivoli Application Dependency Discovery Manager 7.2.2 and 7.3 could expose password hashes in st