Static-analyzer high-severity count
mETH 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 independent Slither/Mythril/Semgrep tool run available to this agent. MixBytes v1 audit (Oct-Nov 2023) identified 3 High findings of which 2 were acknowledged-not-fixed (lack of sanity checks on Oracle report update; malicious oracle report accounting in quorum). Without a fresh static analysis tool run on the current deployed bytecode, cannot assess current high-severity finding count. Needs tool run for definitive score.
Sources #
- GitHubMixBytes Mantle METH Audit — severity summary (partial static-analysis proxy)MixBytes audit README: 3 High findings (1 Fixed, 2 Acknowledged), 4 Medium (0 Fixed, 4 Acknowledged) — no static-tool output availableretrieved 2026-05-16
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 →