Patrick Hulin
1 записей с упоминанием · 1 за 12 месяцев · 0 в CISA KEV
Имена — свободный текст из записей CNA; один человек может встречаться в разных написаниях. Напишите нам для исправления.
Узнайте, когда это имя появится в новой CVE
Если это вы — самый простой способ следить за своими записями: сообщим в ежедневной сводке, когда выйдет новая.
Записи с упоминанием
Исследователи| Срочность | CVE | Уязвимость | Критичность | KEV | EPSS | Опубликовано |
|---|---|---|---|---|---|---|
27Наблюдать | CVE-2026-72711Есть PoC | Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variableleanprover · lean4 · CWE-20 | Средняя6,8 | — | 0,1 % | 24 авг. 2026 г. |
- CVE-2026-7271127Наблюдать
Lean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free Variable
СредняяCVSS 6,8Есть PoCEPSS 0 %leanprover · lean424 авг. 2026 г.