MEDIUM5.5
PYSEC-2019-252
Quick fix
PYSEC-2019-252 — pyboolector: upgrade to the fixed version with the command below.
pip install --upgrade 'pyboolector>=3.1.0'Details
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.
Are you affected?
Enter the version of the package you're using.