Developer Ecosystem
OP Stack
Slither
Slither is a static analysis framework for smart contracts
Appears in
68 ballots
Contribution
Slither is a Solidity and Vyper static analysis framework written in Python3.
It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses. Slither enables developers to find vulnerabilities, enhance their code comprehension, and quickly prototype custom analyses.
Slither has been used for many years by both security engineers and developers to secure their smart contracts.
Contribution links
Impact
By allowing developers to find the most common vulnerabilities on their smart contracts, Slither helps to improve the security of the Optimism ecosystem.
Slither has 90+ detectors, and works on both Solidity and Vyper. In addition it provides printers, helping to review quickly features of contracts. It's python API can also be used to leverage its inbuilt analysis for custom needs.
Slither can directly be run on a contract deployed on optimism, with `slither optim:0x..ADDRESS`
Impact Metrics
Funding sources
RetroPGF 2
https://optimism.mirror.xyz/Upn_LtV2-3SviXgX_PE_LyA7YI00jQyoM1yf55ltvvI?rpgf=2
389,000.00 OP
