Описание
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
| Релиз | Статус | Примечание |
|---|---|---|
| devel | needs-triage | |
| esm-apps/noble | needs-triage | |
| esm-infra/focal | DNE | |
| focal | DNE | |
| jammy | DNE | |
| mantic | ignored | end of life, was needs-triage |
| noble | needs-triage | |
| oracular | ignored | end of life, was needs-triage |
| plucky | ignored | end of life, was needs-triage |
| questing | needs-triage |
Показывать по
10
Ссылки на источники
7.5 High
CVSS3
Связанные уязвимости
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
debian
больше 1 года назад
Improper input validation in CVC5 Solver v1.1.3 allows attackers to ca ...
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.
7.5 High
CVSS3