kiranandcode
1 записей с упоминанием · 1 за 12 месяцев · 0 в CISA KEV
Имена — свободный текст из записей CNA; один человек может встречаться в разных написаниях. Напишите нам для исправления.
Узнайте, когда это имя появится в новой CVE
Если это вы — самый простой способ следить за своими записями: сообщим в ежедневной сводке, когда выйдет новая.
Записи с упоминанием
Исследователи| Срочность | CVE | Уязвимость | Критичность | KEV | EPSS | Опубликовано |
|---|---|---|---|---|---|---|
27Наблюдать | CVE-2026-72844Proof of concept | Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projectionsleanprover · lean4 · CWE-843 | Средняя6,8 | — | 0,1 % | 20 авг. 2026 г. |
- CVE-2026-7284427Наблюдать
Lean 4 Kernel Type Checking Bypass via Mismatched Structure Projections
СредняяCVSS 6,8Proof of conceptEPSS 0 %leanprover · lean420 авг. 2026 г.