Static-analyzer high-severity count

Evidence summary #

No published Slither/Mythril/Semgrep output found for deployed Symbiotic core contracts. Data cache static_analysis field is empty (pipeline did not run tools). ChainSecurity and Zellic perform static analysis as part of their audits and found only minor issues, providing indirect evidence, but no programmatic tool output is available for direct high-severity count.

Sources #

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 →