Static-analyzer high-severity count

Concrete'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 direct Slither/Mythril run available (src/ files return HTTP 404 on GitHub raw). Halborn V2 audits found 0 critical/high/medium findings for V2 deployed code, suggesting clean static analysis result, but cannot confirm via independent tool run. Marked gray pending tool run.

Sources #

Audit
Halborn V2 Standard findingsHalborn V2 Standard — 0 critical/high/medium findingsretrieved 2026-05-17
Curator note
Source access limitation notedGitHub src/ files return HTTP 404 preventing direct Slither runretrieved 2026-05-17

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 concrete factor RD-F-010 score gray collected_at 2026-05-17 14:36:59