
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.