Static-analyzer high-severity count

ether.fi'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 Slither/Mythril/Semgrep output publicly available. Hats Finance 2023-12 audit found 1 medium (reentrancy in LiquidityPool requestWithdraw, reportedly remediated) and 12 lows from manual review. Certora FV proofs cover declared invariants but do not replace static analysis tooling for all patterns. [?] needs tool run for definitive high-severity finding count.

Sources #

Audit
Hats Finance audit — closest available to static-analysis finding countHats Finance 2023-12-20 audit (Markdown)retrieved 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 ether-fi factor RD-F-010 score gray collected_at 2026-04-28 13:58:46