Slither
Static Analysis Tools
Slither
Solidity static analysis framework and vulnerability detectors for auditing smart contracts.
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.
KEVMEVM Tools
A model of the Ethereum Virtual Machine (EVM) with K semantics.
Git HooksSolidity Developer Tools
Git Hooks customizes and enhances how developers push and pull code to GitHub.
OyenteSymbolic Execution Tools
Oyente is a smart contract analysis tool built in 2016 to detect security vulnerabilities.
Resources and Guides about Static Analysis Tools
Slither Alternatives
Explore web3 competitors and apps like Slither.
RattleStatic Analysis Tools
Rattle is a EVM static analysis framework designed to work on deployed smart contracts.
Solhint-Prettier PluginStatic Analysis Tools
Lint your files according to the Solidity plugin for Prettier, a code formatter.
EthlintStatic Analysis Tools
Ethlint (Formerly Solium) analyzes your Solidity code for style & security issues and fixes them.
