CodeHawks
Search
K
Links
Comment on page
🛠

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

Symbolic Execution / Formal Verification Tools

Note: At the moment, formal verification is sometimes seen as overkill, especially for competitive audits.