Slither

A static analysis framework for Solidity and Vyper smart contracts that detects vulnerabilities, provides code insights, and offers an API for custom security analyses.

Available Pages

Slither: Smart Contract Static Analysis for Bug Detection

Discover Slither, the static analysis tool by Trail of Bits, for smart contract security. Learn what it is, why to use it, and how to install and leverage it for vulnerability detection.

Related Technologies

Competition

mythx

Direct competitors

mythril

Direct competitors

securify2

Direct competitors

oyente

Can replace or substitute

manticore

Can replace or substitute

Integration

Integrates With

hardhat

Official integration support

Integrates With

foundry

Official integration support

Integrates With

brownie

Official integration support

Integrates With

github actions

Official integration support

Integrates With

docker

Official integration support

Compatible With

remix

Works well together

Integrates With

eth security toolbox

Official integration support

Dependencies

crytic compile

Requires for operation

python

Foundation technology

web3 py

Requires for operation

solc

Requires for operation

Similar

echidna

Similar functionality