GitHub repository: smartdec/smartcheck
Primary language: Solidity
Created: 2018-02-05T15:00:56Z
Description:  SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).