slither-analysis

# Slither Static Analysis Skill Expert-level integration with Slither, the leading static analysis framework for Solidity smart contracts. ## Capabilities - **Full Detector Suite**: Execute Slither with all built-in detectors - **Custom Configurations**: Configure analysis parameters and exclusions - **Severity Classification**: Interpret and classify finding severity - **False Positive Filtering**: Context-aware false positive identification - **Visual Analysis**: Generate call graphs and inheritance diagrams - **Custom Detectors**: Run and develop custom Slither detectors - **Reporting**: Produce comprehensive security reports ## Installation ```bash # Install via pip pip install slither-analyzer # Or via pipx for isolation pipx install slither-analyzer # Verify installation slither --version ``` ## Basic Usage ### Run Analysis ```bash # Analyze single file slither Contract.sol # Analyze Foundry project slither . --foundry-compile-all # Analyze Hardhat project slither . --hardhat-compile-all ``` ### Output Formats ```bash # Human readable (default) slither . # JSON output for processing slither . --json output.json # Markdown report slither . --checklist # SARIF for CI integration slither . --sarif output.sarif ``` ## Detector Categories ### High Severity Detectors | Detector | Description | |----------|-------------| | `reentrancy-eth` | Reentrancy with ETH transfer | | `reentrancy-no-eth` | Reentrancy without ETH | | `arbitrary-send-eth` | Arbitrary ET...