smartdec/smartcheck
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 detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
查看项目：smartdec/smartcheck
扫码关注公众号获取最新文章，并可免费领取前端工程师必备学习资源