https://github.com/crytic/building-secure-contracts
Solidity2225
30 days ago
Guidelines and training material to write secure smart contracts
GNU Affero General Public License v3.0
Static Analyzer for Teal
Python61agpl-3.0
9 months ago
Static Analyzer for Solidity and Vyper
Python5346agpl-3.0
3 days ago
ethereumsoliditystatic-analysis