🛠️ 28 Tool Guides
Static Analysis (10)
Slither— Solidity static analysis framework by Trail of Bits
Aderyn— Rust-based static analyzer by Cyfrin
Solhint— Solidity linter for code quality & security
Wake— Python-based development & security toolkit
4naly3er— Static analysis combining multiple detectors
Dynamic / Fuzzing (6)
Mythril— EVM bytecode symbolic execution
Echidna— Property-based fuzzer for Solidity
Medusa— Parallel fuzzing engine (Go)
Formal Verification (3)
Halmos— Symbolic bounded model checker
Certora— Formal verification prover
HEVM— Haskell EVM for symbolic execution