Blockchain infrastructure powering billions in onchain transactions

Developer Tools
Slither
Slither is a Solidity and Vyper static analysis framework with vulnerability detectors for auditing smart contracts.
About Slither
Slither is a Solidity and Vyper static analysis framework written in Python, first conceived in a 2019 paper from Josselin Feist, Gustavo Grieco, and Alex Groce. The Slither framework provides automated vulnerability and optimization detection, as well as assistive codebase summaries to further developer comprehension. Born of Crytic, the blockchain security arm of Trail of Bits, Slither is Hardhat and Foundry compatible, and supports Solidity code written in V0.4 onwards as well as Vyper smart contracts.
Best for
- Web3 developers
Official resources
Websitegithub.com
DocumentationGetting started
GitHubOfficial repository