Vulnerabilidades em rocq-prover

5 resultados

Análise Vexday

O rocq-prover apresenta um pequeno volume de vulnerabilidades (5 CVEs), porém com padrão preocupante: todas foram publicadas nos últimos 90 dias, indicando risco recente e em evolução. Nenhuma está sob ataque ativo registrado e não há críticas, mas a concentração em CWE-670 (operação inadequada em estrutura de dados) sugere falhas sistemáticas que merecem atenção em atualizações.

CVE-2026-72704MEDIUMRocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After TransportEPSS 0.1%CVE-2020-37268MEDIUMCoq and Rocq Prover Print Assumptions Omits Unsafe Universe Checking Inlined Through Parameter InlineEPSS 0.1%CVE-2026-72714MEDIUMRocq Prover through 9.2.0 Universe Checking State Desynchronised After Module CloseEPSS 0.1%CVE-2026-72705MEDIUMRocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order ArgumentEPSS 0.1%CVE-2026-72703MEDIUMRocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-CallsEPSS 0.1%