Static-analyzer high-severity count
Spark 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 public documentation of static analysis CI integration (Slither, Echidna, or equivalent) in the sparkdotfi repositories. Cannot confirm or deny automated static analysis pipeline.
Sources #
- GitHubhttps://github.com/sparkdotfi/sparklend-v1-coreretrieved 2026-04-21
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 spark factor RD-F-010 score gray collected_at 2026-04-27 01:00:42