npm

slither-analyzer

Static analysis framework for Solidity smart contracts

brewmacoslinux
Try with needOr install directly
Source

About

Solidity static analysis framework written in Python 3

Commands

slither

Examples

Analyze a Solidity contract file for vulnerabilities$ slither contract.sol
Analyze a contract with specific detector filters$ slither contract.sol --detectors reentrancy,unchecked-send
Generate a detailed analysis report in JSON format$ slither contract.sol --json output.json