
What is Slither?
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.
Web3 dapps and developer tools related to Slither
Discover blockchain applications that are frequently used with Slither.

EVM Tools
A stripped-down EVM implemented using Yul & Solidity.

Solidity Developer Tools
Solidity library to sign off-chain messages that grant non-transferrable powers to other people.

EVM Tools
Beamer enables users to move tokens from one rollup to another without going via layer 1 chains.
Resources and Guides about Static Analysis Tools
Slither Alternatives
Explore web3 competitors and apps like Slither.

Static Analysis Tools
Open-source, configurable Solidity linter for syntax-related vulnerabilities built by Protofire.

Static Analysis Tools
Ethlint (Formerly Solium) analyzes your Solidity code for style & security issues and fixes them.

Static Analysis Tools
Glider analyzes smart contract codes on EVM chains rapidly.
