RSS   Podatności dla 'Btor2tools'   RSS

2019-02-07
 
CVE-2019-7559

CWE-787
 

 
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.

 


Copyright 2024, cxsecurity.com

 

Back to Top