Slither Static Analysis Tool

CLIther is a CLI tool for analyzing slither output.

Links

Foundry Slither

Slither Git Repo

trail of bits blogpost

slither wiki

Installation

# activate venv and install requirements
cd contracts/tools
python3 -m venv .venv # create venv
. .venv/bin/activate # activate venv
pip install -r requirements.txt # install requirements

Slither Usage

# Running slither

cd contracts
. .venv/bin/activate # activate venv
slither . # Run slither against all contracts
slither . --print human-summary # Print summary of findings
slither . --print contract-summary # Print summary of findings per contract
slither --json slither_output.json . # Output json

## exclude stuff
  --exclude-dependencies    Exclude results related to dependencies
  --exclude-optimization    Exclude optimization analyses
  --exclude-informational   Exclude informational impact analyses
  --exclude-low             Exclude low impact analyses
  --exclude-medium          Exclude medium impact analyses
  --exclude-high            Exclude high impact analyses

## CLIther usage

CLIther is a CLI tool for analyzing slither output.

```bash
# Running clither
➜  slither git:(slitherTesting) ✗ python clither.py slither_output.json
                                                               
Loaded Slither Output: slither_output.json
Available Commands:
  - count                     list finding summary
  - sum [impact]              summarize findings by detector
  - list [impact]             list findings by impact [high|medium|low|informational|optimization]
  - detail [impact] [number]  display full findings details

Vulnerability / Remediation Info: https://github.com/crytic/slither/wiki/Detector-Documentation
∴