SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool