Static-analyzer high-severity count
Hyperliquid'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 analysis of Bridge2 deployed bytecode found in public sources. Manual audits (Zellic, Cyfrin) covered the same surface; automated tool output not separately disclosed. Bridge2 source is small (~400 LOC). Tool run needed for definitive score.
Sources #
- GitHubBridge2.sol source codeBridge2.sol source — reviewed manually; no public static-analysis output foundretrieved 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 hyperliquid factor RD-F-010 score gray collected_at 2026-04-28 13:58:49