Количество 2
Количество 2
CVE-2019-7559
около 7 лет назад
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
CVSS3: 5.5
EPSS: Низкий
GHSA-qp2g-vj63-24p5
больше 3 лет назад
In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr.
CVSS3: 5.5
EPSS: Низкий
Уязвимостей на страницу
20
Уязвимость | CVSS | EPSS | Опубликовано | |
|---|---|---|---|---|
 | CVE-2019-7559 In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr. | CVSS3: 5.5 | 0% Низкий | около 7 лет назад |
| GHSA-qp2g-vj63-24p5 In btor2parser/btor2parser.c in Boolector Btor2Tools before 2019-01-15, opening a specially crafted input file leads to an out of bounds write in pusht_bfr. | CVSS3: 5.5 | 0% Низкий | больше 3 лет назад |
Уязвимостей на страницу
20