Static-analyzer high-severity count

Venus Protocol'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 standalone Slither/Mythril/Semgrep output on deployed bytecode found in public sources. Audit firms include static analysis in their engagements but do not publish raw tool output. Cannot triage without tool run. Marked gray per methodology (needs tool run).

Sources #

Curator note
No standalone Slither/Mythril output in audits directoryAbsence of published static analysis outputretrieved 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 venus factor RD-F-010 score gray collected_at 2026-04-28 18:30:49