slither by hairyf/blockchain-master

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

Topic	Description	Reference
Suppression and output	Inline/block suppress, triage, JSON/SARIF/checklist, config file	best-practices-suppression-and-output