Vulnerabilidades em leanprover

3 resultados

Análise Vexday

Lean Prover apresenta perfil de risco mínimo com apenas 1 CVE catalogada e nenhuma sob exploração ativa. A vulnerabilidade, classificada como CWE-80 (improper neutralization of input during web page generation), não é crítica e não foi publicada recentemente, indicando risco historicamente baixo e estabilizado.

CVE-2026-32732NONEXSS in @leanprover/unicode-input-componentEPSS 0.3%CVE-2026-72844MEDIUMLean 4 Kernel Type Checking Bypass via Mismatched Structure ProjectionsEPSS 0.2%CVE-2026-72711MEDIUMLean 4 before 4.32.2 Kernel Accepts Opaque Declaration With an Unbound Free VariableEPSS 0.1%