slither-analyzer

Install command:
brew install slither-analyzer

Solidity static analysis framework written in Python 3

https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/

License: AGPL-3.0-only

Development: Pull requests

Formula JSON API: /api/formula/slither-analyzer.json

Formula code: slither-analyzer.rb on GitHub

Bottle (binary package) installation support provided for:

macOS on
Apple Silicon
golden gate
tahoe
sequoia
sonoma
macOS on
Intel
sonoma
Linux ARM64
x86_64

Current versions:

stable 0.11.6
head ⚡️ HEAD

Depends on:

certifi 2026.7.22 Mozilla CA bundle for Python
pydantic 2.13.5 Data validation using Python type hints
python@3.14 3.14.7 Interpreted, interactive, object-oriented programming language

Depends on when building from source:

rust 1.98.1 Safe, concurrent, practical language

Binaries: slither, slither-check-erc, slither-check-kspec, slither-check-upgradeability, slither-doctor, slither-documentation, slither-find-paths, slither-flat, slither-format, slither-interface, slither-mutate, slither-prop, slither-read-storage, slither-simil

Analytics:

30 days90 days365 days
Installs614613,483
Installs (--HEAD)001
Installs on Request362021,285
Installs on Request (--HEAD)001
Build Errors0