https://github.com/eth-sri/securify

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

chainsecurity datalog depricated ethereum evm obsolete security smart-contract solidity static-analysis

Last synced: 23 Jul 2025