Note:
This project will be discontinued after December 13, 2021. [more]
2019-02-07
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.
| Products | Boolector |
| Type | Use After Free (CWE-416) |
| First patch | - None (likely due to unavailable code) |
| Links |
• https://github.com/Boolector/boolector/issues/29
• https://github.com/Boolector/boolector/issues/28 |