Static-analyzer high-severity count

Morpho V1 (Morpho Blue + MetaMorpho)'s assessment for RD-F-010 — scored yellow on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

No live Slither/Mythril run performed; Certora formal verification and multiple pre-launch audits substantially substitute but formal static-analysis output is unavailable; gap flagged as needing tool run.

Sources #

URL
https://morpho.org/blog/formally-verifying-morpho-blue-with-certorav/retrieved 2026-04-27

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 morpho-v1 factor RD-F-010 score yellow collected_at 2026-04-30 21:19:13