Vendors / Btor2tools Project Records 1 All Threatist records
Exploited (KEV) 0 None in CISA KEV
CVSS critical 0
CVSS high 0
Exploited now Btor2tools Project records in CISA KEV No Btor2tools Project vulnerabilities are listed in CISA KEV.
Components Products in the NVD configurations · select one to filter the records Priority LOW 26
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.
CVSS 3.0 MEDIUM 5.5· Local · No auth · User interaction · EPSS 0.00837 · Published 2019-02-07 · No fix listed CWE-787
Open these records in search → All records by CVSS severity
0 0 1 0 0
