Medium severity5.5NVD Advisory· Published Feb 7, 2019· Updated Jun 17, 2026
CVE-2019-7559
CVE-2019-7559
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.
AI Insight
LLM-synthesized narrative grounded in this CVE's description and references.
Affected products
3<2019-01-15+ 1 more
- (no CPE)range: <2019-01-15
- (no CPE)range: <2019-01-15
- cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:*Range: <=2019-01-15
Patches
Vulnerability mechanics
References
1- github.com/Boolector/boolector/issues/30nvdExploitPatchThird Party Advisory
News mentions
0No linked articles in our index yet.