slither
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 |
More from hairyf/blockchain-master
openzeppelin-contracts
Secure smart contract library—access control, tokens (ERC20/721/1155/4626/6909), upgradeable contracts, and utilities.
15viem
TypeScript interface for Ethereum — clients, contracts, accounts, chains, ENS, and utilities.
13wagmi
Wagmi — React/Vue/Solid hooks and Core for Ethereum; config, connectors, read/write contracts, TanStack Query.
11ton
TON Blockchain — addresses, messages, TVM, cells, Blueprint, contracts, payments, API.
11envio
Envio blockchain data stack — HyperSync, HyperIndex, HyperRPC; fast indexing and data APIs.
8uniswap-v4
Uniswap v4 core pool logic — singleton PoolManager, unlock/callback, pool actions, hooks, and types.
7