Static-analyzer high-severity count
Dolomite'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, or Semgrep analysis found for Dolomite's deployed bytecode. The core uses Solidity 0.5.16 with experimental ABIEncoderV2. Dolomite claims 100% line/statement/branch test coverage but that is not static analysis. Cannot assess without tool run.
Sources #
- DocsDolomite Audits & Securitydocs.dolomite.io/audits-and-security: 100% line, statement, and branch coverage stated (test coverage, not static analysis)retrieved 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 →
rubric_version v1.7.0 protocol dolomite factor RD-F-010 score gray collected_at 2026-05-16 11:12:56