Static-analyzer high-severity count

Evidence summary #

No published Slither/Mythril JSON output found. Source IS verified on BaseScan (tool run is feasible). Audit firms conducted their own static/dynamic analysis but raw tool output not published. Cannot confirm current deployed source has 0 high-severity findings without running tool. [?] needs tool run.

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 →