{"id":"CVE-2019-7559","aliases":["EUVD-2019-17098","GHSA-qp2g-vj63-24p5"],"status":"published","title":"In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially...","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.","severity":{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium","assessor":"primary","from":"nvd"},"epss":{"day":"2026-11-10","score":0.00837,"percentile":0.58062,"model":"v2026.06.15"},"facts":{"in_kev":false,"known_exploited":false,"public_exploit":false,"fix_available":false},"cwes":["CWE-787"],"published":"2019-02-07T07:00:00Z","modified":"2026-06-17T02:40:41Z","products":[{"vendor":"btor2tools_project","product":"btor2tools"}],"references":[{"url":"https://github.com/Boolector/boolector/issues/30","tags":["x_refsource_MISC","x_transferred","Exploit","Patch","Third Party Advisory"]},{"url":"https://nvd.nist.gov/vuln/detail/CVE-2019-7559"},{"url":"https://github.com/advisories/GHSA-qp2g-vj63-24p5"}],"sources":{"cve":[{"id":"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.","status":"published","published":"2019-02-07T07:00:00Z","modified":"2024-08-04T20:54:27.93Z","updated_at":"2026-11-02T14:32:22.854093Z"}],"euvd":[{"id":"EUVD-2019-17098","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.","status":"published","published":"2019-02-07T07:00:00Z","modified":"2024-08-04T20:54:27Z","updated_at":"2026-11-03T03:06:45.961014Z"}],"ghsa":[{"id":"GHSA-qp2g-vj63-24p5","title":"In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially...","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.","status":"published","published":"2022-05-14T01:35:23Z","modified":"2023-02-02T05:04:10Z","cvss":[{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium"}],"cwes":["CWE-787"],"updated_at":"2026-11-02T14:51:48.450626Z"}],"nvd":[{"id":"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.","status":"published","published":"2019-02-07T07:29:00.287Z","modified":"2026-06-17T02:40:41.78Z","cvss":[{"version":"3.0","score":5.5,"vector":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H","level":"medium","assessor":"primary"},{"version":"2.0","score":4.3,"vector":"AV:N/AC:M/Au:N/C:N/I:N/A:P","level":"medium","assessor":"primary"}],"cwes":["CWE-787"],"updated_at":"2026-11-02T14:05:04.689371Z"}]}}