Overview on Tools - Slither, Echidna, Manticore
summary
Trail of Bits describes three tools and how they run: Slither static analysis executes on Solidity source and prints findings immediately, Echidna invariant-guided fuzzer requires developers to define invariants and then mutates inputs to mark each invariant pass or fail, and Manticore symbolic execution explores contract paths symbolically. A live demo shows each tool run against example contracts and produce concrete warnings and test failures in real time.
AI-written summary · about
related talks
48mD1T2 - Smashing Ethereum Smart Contracts for Fun and ACTUAL Profit
23mThanks for all the bugs!
51mA Deal with the Devil: Breaking Smart Contracts
35mKnow Your Tools: Quirks And Flaws, Integrating SAST Into Your Pipeline
34mKeep your code safe during the development path using OS tools
52mStructure aware fuzzing
01h 31mHow to find Solidity vulnerabilities
13mAdvances in Automated Smart Contract Vulnerability