Boolector · Boolector Btor2Tools · CVE-2019-7559
**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 released after 2019-01-15 to resolve the issue.