74 - SmartCheck
SmartCheck is an extensible static analysis tool for discovering vulnerabilities and other code issues in Ethereum smart contracts written in the Solidity programming language.
It translates Solidity source code into an XML-based intermediate representation and checks it against XPath patterns.
- Security Tool
- SmartDec
- Extensible Static Analyzer
- XML-bsed IR
- XPath Pattern Checking