slither-analyzer
brew install slither-analyzerSolidity 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.8 | Interpreted, interactive, object-oriented programming language |
Depends on when building from source:
| rust | 1.99.0 | 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
Known vulnerabilities in the current version:
| GHSA-8988-9cw3-xx77 | urllib3: HTTPS proxy TLS configuration may be ignored or overridden |
| GHSA-gh4c-6fx4-qh6g | urllib3: Chunked Deflate streaming can enter an infinite loop |
| GHSA-vxq7-64xx-v4gw | urllib3: HTTPResponse.stream()/read_chunked() buffers an unbounded chunk-size line into memory |
Data from Homebrew/advisory-database. Run brew vulns slither-analyzer for a live check.
Analytics:
| 30 days | 90 days | 365 days | |
|---|---|---|---|
| Installs | 27 | 325 | 3,349 |
Installs (--HEAD) | 0 | 0 | 1 |
| Installs on Request | 17 | 173 | 1,249 |
Installs on Request (--HEAD) | 0 | 0 | 1 |
| Build Errors | 0 |