Static-analyzer high-severity count

Lido's assessment for RD-F-010 — scored gray on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

No published Slither/Mythril/Semgrep tool output found. Extensive manual audit coverage (14 firms) functions as superset. Code4rena 2025-07: 0 high/medium on 30 contracts. Cannot enumerate raw tool findings without tool run. Needs tool run for programmatic verification.

Sources #

URL
retrieved 2026-04-28
URL
2025-07-lido-financehttps://code4rena.com/reports/2025-07-lido-financeretrieved 2026-04-28

Methodology #

Count the number of unique high-severity detector findings from Slither + Mythril + Semgrep run against the deployed verified source (after deduplication across tools).

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol lido factor RD-F-010 score gray collected_at 2026-04-28 13:58:42