rektifyai / smartcheck Goto Github PK
View Code? Open in Web Editor NEWThis project forked from smartdec/smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
License: GNU General Public License v3.0