Tools

Auditor Tools
These are auditor tools that you can use to help you audit smart contracts.
​Solodit <- (Use this once you start doing competitive audits!)
Static Analysis
​Slither​
​4naly3er​
Symbolic Execution / Formal Verification Tools
Note: At the moment, formal verification is sometimes seen as overkill, especially for competitive audits.
​Manticore​
​Mythril​
​Halmos​
​Solidity Compiler​
​hevm​
​EthBMC​
​KEVM​
​Certora​

Philosophy and Mission

Learning and resources

Last modified 2mo ago