Patrick Hulin
1 kredili kayıt · son 12 ayda 1 · 0 tanesi CISA KEV’de
Adlar CNA kayıtlarındaki serbest metindir; aynı kişi farklı yazımlarla ayrı görünebilir. Düzeltme için bize yazın.
Bu ad yeni bir CVE'de kredilendirildiğinde haber alın
Kendi adınızsa kayıtlarınızı izlemenin en kolay yolu: yeni kayıt yayımlandığında günlük e-posta özetinde bildiririz.
Kredili kayıtlar
Araştırmacılar| Aksiyon | CVE | Zafiyet | Ciddiyet | KEV | EPSS | Yayın |
|---|---|---|---|---|---|---|
27İzleyin | CVE-2026-72711Kavram kanıtı | Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variableleanprover · lean4 · CWE-20 | Orta6,8 | — | %0,1 | 24 Ağu 2026 |
- CVE-2026-7271127İzleyin
Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable
OrtaCVSS 6,8Kavram kanıtıEPSS %0leanprover · lean424 Ağu 2026