List of Tools

Testing

Crytic-compile Solc-select Certora DappHub’s Hevm

Linters

Static Analysis Slither Rattle Securify SmartCheck

Symbolic Checkers

Manticore

Fuzzing

Echidna Fuzzing-as-a-Service

Formal Verification

Scribble VerX

Visualization

Evm_cfg_builder Visual Auditor Surya

Disassemblers

Ethersplay Pyevmasm

Monitoring

Karl

Multi-Tool

Etheno MythX

Tool Packages / Frameworks

Theo K-Framework Eth-security-toolbox