🛠️Tools

A list of suggested tools from the Cyfrin CodeHawks auditors' community

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

• Aderyn

• 4naly3er

Symbolic Execution / Formal Verification Tools

• Manticore

• Mythril

• Halmos

• Solidity Compiler

• hevm

• EthBMC

• KEVM

• Certora