Slither is an open-source framework for static analysis of smart contracts written in Python 3. Developers and auditors can quickly and efficiently find Solidity smart contract code vulnerabilities. As we wrote above, Slither is used in development and code review, code optimization, or auditing smart contracts.
Slither include features such as:
– Detects vulnerable Solidity code with low false positives
– Identifies where the error condition occurs in the source code.
– Easily integrates into continuous integration and Truffle builds.
– Built-in’ printers’ quickly report essential contract information.