Количество 4
Количество 4
CVE-2019-7560
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.
CVE-2019-7560
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.
CVE-2019-7560
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted i ...
GHSA-g58x-799h-v9h6
Boolector use after free
Уязвимостей на страницу
Уязвимость | CVSS | EPSS | Опубликовано | |
|---|---|---|---|---|
 | CVE-2019-7560 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 | 0% Низкий | около 7 лет назад |
 | CVE-2019-7560 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 | 0% Низкий | около 7 лет назад |
| CVE-2019-7560 In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted i ... | CVSS3: 5.5 | 0% Низкий | около 7 лет назад |
| GHSA-g58x-799h-v9h6 Boolector use after free | CVSS3: 5.5 | 0% Низкий | больше 3 лет назад |
Уязвимостей на страницу