Skill based on Slither (slither-analyzer v0.11.5), generated from sources/slither. Doc path: sources/slither/docs/src/ and repo README.
Slither is a Solidity and Vyper static analysis framework. It runs vulnerability detectors, prints contract structure (call graph, CFG, inheritance, SlithIR), and exposes a Python API and SlithIR for custom analyses. Use it to find bugs, understand code, and integrate into CI or scripts.
Core References
| Topic |
Description |
Reference |
| CLI usage |
Targets, detector/printer selection, path filter, triage, config |
core-usage |
| Python API |
Slither, CompilationUnit, Contract, Function, Node—load and traverse |
core-api |
| SlithIR and analysis |
IR, SSA, when to use irs vs irs_ssa, data dependency |
core-slithir-and-analysis |
Features
Detectors and printers
| Topic |
Description |
Reference |
| Detectors |
Built-in detectors, impact/confidence, custom detector plugin |
features-detectors |
| Printers |
Call graph, CFG, inheritance, SlithIR, function summary, etc. |
features-printers |
Tools
| Topic |
Description |
Reference |
| Built-in tools |
slither-flat, slither-check-erc, slither-check-upgradeability, slither-mutate, slither-doc, slither-read-storage, etc. |
features-tools |
Best Practices
