Static-analyzer high-severity count
Circle USYC'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 #
Source code is Etherscan-verified for all core EVM contracts. No published Slither, Mythril, or Semgrep output covering USYC contracts found. Tool run needed but not available in this assessment.
Sources #
- EtherscanYieldCoin Implementation - EtherscanYieldCoin implementation 0xBF0f2F3aad6b99893d80c550fbacec915545eb92 verified Exact Match; source available for tool runsretrieved 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 circle-usyc factor RD-F-010 score gray collected_at 2026-05-15 21:56:43