Solidity static analysis framework and vulnerability detectors for auditing smart contracts.
Slither is a contract security framework written in Python and 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 Truffle compatible, and operational for Solidity code written in V0.4 onwards.
Use Web3's Most Scalable and Reliable RPC Nodes
Sign up for a free Alchemy Account
Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.