cvc5 kayıtları
cvc5 üreticisine ait 2 yayımlanmış kayıt.
Araştırmacı profili
- KEV’e giren
- 0 · %0
- Silahlaştırılmış
- 0 · %0
- Pre-auth RCE
- 0
- Düzeltme kaydı olan
- %0
- Yayından KEV’e ortanca
- KEV’e giren kayıt yok
Saldırı profili
Tüm kayıtlar
2 kayıt| Aksiyon | CVE | Zafiyet | Ciddiyet | KEV | EPSS | Yayın |
|---|---|---|---|---|---|---|
30İzleyin | CVE-2024-37794İstismar yok | 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 | Yüksek7,5 | — | %0,5 | 17 Haz 2024 |
30İzleyin | CVE-2024-37795İstismar yok | 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 | Yüksek7,5 | — | %0,5 | 17 Haz 2024 |
- CVE-2024-3779430İzleyin
Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS) via a crafted SMT2 input file.
YüksekCVSS 7,5İstismar yokEPSS %017 Haz 2024
- CVE-2024-3779530İzleyin
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
YüksekCVSS 7,5İstismar yokEPSS %017 Haz 2024