@smartdec/smartcheck (npm): SmartCheck is an extensible static analysis tool for discovering vulnerabilities and other code issues in Ethereum smart contracts written in the Solidity programming language.
Keywords: solidity|viper|sast|security|linter