Опубликовано: 14 мая 2022
Источник: github
Github: Прошло ревью
CVSS4: 7.1
CVSS3: 5.5
Описание
Boolector use after free
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.
Пакеты
Наименование
pyboolector
pip
Затронутые версииВерсия исправления
< 3.1.0
3.1.0
Связанные уязвимости
CVSS3: 5.5
ubuntu
около 7 лет назад
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.
CVSS3: 5.5
nvd
около 7 лет назад
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.
CVSS3: 5.5
debian
около 7 лет назад
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted i ...