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