Audit Tools at a Glance

These are the tools I reach for most. Each does a different job, so they work best together.

Popular smart contract security tools
ToolTypeBest forLink
SlitherStatic analysisFast first pass over a codebaseGitHub
FoundryTesting frameworkUnit tests and fuzzing in SolidityBook
EchidnaFuzzerChecking invariantsGitHub
MythrilSymbolic executionDeep path exploration on bytecodeGitHub
No tool replaces a careful human read.