Описание
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
Пакеты
| Пакет | Статус | Версия исправления | Релиз | Тип |
|---|---|---|---|---|
| cvc5 | unfixed | package |
Примечания
https://github.com/cvc5/cvc5/issues/10813
https://github.com/cvc5/cvc5/pull/10945
https://github.com/cvc5/cvc5/commit/a2c2f5e971916d947e9efa41e22036db8a0a7956 (cvc5-1.2.0)
Negligible security impact
Связанные уязвимости
CVSS3: 7.5
ubuntu
больше 1 года назад
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
CVSS3: 7.5
nvd
больше 1 года назад
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
CVSS3: 7.5
github
больше 1 года назад
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.