/smartcheck

SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

Primary LanguageHTMLGNU General Public License v3.0GPL-3.0

Stargazers