Przejdź do głównej treści
Slither
Security & testing

Slither

Fuzz/Property testing

Bezpieczeństwo · Analiza statyczna · Solidity · Vyper · Ciągła integracja

Slither to silnik analizy statycznej w języku Python od Trail of Bits dla Solidity i Vyper: uruchom go w CI, aby odpalać detektory, drukować widoki strukturalne kontraktów lub skryptować niestandardowe sprawdzenia w całych bazach kodu.

Related resources