PT-2019-18646

Name of the Vulnerable Software and Affected Versions Boolector Btor2Tools versions prior to 2019-01-15 Description The issue arises when opening a specially crafted input file, leading to an out of bounds write in pusht bfr. Recommendations For versions prior to 2019-01-15, update to a version...