Записи cvc5
2 опубликованных записей вендора cvc5.
Профиль для исследователя
- Попали в KEV
- 0 · 0 %
- С эксплойтом
- 0 · 0 %
- Pre-auth RCE
- 0
- С записью об исправлении
- 0 %
- Медиана: публикация → KEV
- Ни одна запись не попала в KEV
Повторяющиеся классы
Классы уязвимостей, которые чаще всего встречаются у этого вендора: куда смотреть.
CWEВсе записи
2 записей| Срочность | CVE | Уязвимость | Критичность | KEV | EPSS | Опубликовано |
|---|---|---|---|---|---|---|
30Наблюдать | CVE-2024-37794Эксплойта нет | Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.CWE-20 | Высокая7,5 | — | 0,5 % | 17 июн. 2024 г. |
30Наблюдать | CVE-2024-37795Эксплойта нет | A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing tCWE-125 | Высокая7,5 | — | 0,5 % | 17 июн. 2024 г. |
- CVE-2024-3779430Наблюдать
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
ВысокаяCVSS 7,5Эксплойта нетEPSS 0 %17 июн. 2024 г.
- CVE-2024-3779530Наблюдать
A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT-LIB input file containing t
ВысокаяCVSS 7,5Эксплойта нетEPSS 0 %17 июн. 2024 г.