Slither: An Essential in the Auditor’s Toolkit

In this series we will focus only on those aspects that can be really useful for auditing and bug bounty hacking and that are not described anywhere. We rely on Slither — a static analysis tool from Trail of Bits to maintain the quality of our audits. SmartCheck can serve as a reinforcement (https://blog.trailofbits.com/2022/08/17/using-mutants-to-improve-slither/) of what we will talk about next. Echidna can be used to quickly build a mental contract model before diving deeply into the code.

Read All

audit blockchain cybersecurity ethereum-blockchain security security audit slither solidity toolkit web3