Slither
FreeGitHub Open Source Projects
Slither provides a Solidity static analysis framework and vulnerability detectors for auditing smart contracts.
EthereumAbout Slither
Slither is a Python-based contract security framework described in a 2019 paper by Josselin Feist, Gustavo Grieco, and Alex Groce.
It provides automated detection of vulnerabilities and optimizations, and offers assistive codebase summaries to help developers understand their Solidity projects.
