Static-analyzer high-severity count
Stargate Finance'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 output found for Stargate v2. Source is verified on Etherscan allowing tool runs, but no public analysis output has been found. The invariant test suite in `packages/stg-evm-v2/test/invariant/` indicates some property-based testing exists. Without a published static analysis run, this factor cannot be affirmatively assessed.
Sources #
- GitHub
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 →