🛠️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