Static-analyzer high-severity count

Evidence summary #

No published Slither/Mythril/Semgrep output is available in the boring-vault repo or audit PDFs. Source is verified on Etherscan and tool runs are feasible but have not been published. Static analysis tool run against the full verified source tree is needed to determine high-severity finding count. Marked gray [?] pending 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 →