Smart Contract Auditing Tools

Testing Frameworks:

• Foundry
• Hardhat
• Brownie
• Truffle

Fuzzers::

• Echidna
• Foundry Fuzz
• ChainFuzz
• Harvey
• sFuzz

VS Code Extensions

• Solidity Visual Developer
• Slither VSC
• Inline Bookmarks
• Solidity Metrics
• EthOver
• GraphViz Interactive Preview
• Mythx VSC
• Remix VSC

Linters and Formatters:

• EthLint
• solidity-coverage
• Prettier + Solidity Plugin
• Doc-Gen
• Solhint
• sol function profiler

Visualization Tools:

• Solidity Visual Developer
• Sūrya
• Solgraph
• EVM Lab
• Ethereum-graph-debugger

Dynamics Analysis & Static Analysis:

• Slither
• MythX
• Mythril
• Manticore
• securify2
• Eth Security Toolbox
• smartcheck
• solidityscan.com
• Fuzzinglab’s Octopus

Auditing Books and Guides:

• The Auditors Book
• Solodit.xyz
• Audit Hero
• Solidity Attack Vectors
• Audit Checklist
• Awesome Solidity Gas Optimizations
• Secureum Blogs
• Diligence - Smart Contract Best Practices
• Blockchain Hacking QuickStart Guide
• How to Become a Smart Contract Auditor by Cmichel