Slither, the smart contract static analyzer

Slither Static Analysis Framework Logo

Slither is a Solidity & Vyper static analysis framework written in Python3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses. Slither enables developers to find vulnerabilities, enhance their code comprehension, and quickly prototype custom analyses.

If you are looking to use Slither's cli:

  • Usage the most common flags

If you are looking to leverage Slither inbuilt features:

If you are looking to learn how to extend Slither's capabilities:

  • API: Introduction to static analysis & Slither's API
  • Tutorial: Hands-on exercises