Crytic-Properties

Chimera je framework pro psaní testů v Solidity ve foundry a možnost jejich opětovného použití s dalšími open-source nástroji, jako jsou Echidna, Medusa, Halmos a Kontrol

Slither je engine pro statickou analýzu v Pythonu od Trail of Bits pro Solidity a Vyper: spouštějte jej v CI pro aktivaci detektorů, tisk strukturálních pohledů na kontrakty nebo skriptování vlastních kontrol nad celými kódovými základnami.

Synpress propojuje Playwright s automatizací prohlížeče s podporou Etherea, takže můžete v CI provádět end-to-end testování decentralizovaných aplikací (dapps), včetně vyskakovacích oken peněženek a přepínání řetězců.

Aderyn je open-source statický analyzátor chytrých kontraktů v Solidity od Cyfrin, založený na jazyce Rust, navržený tak, aby pomohl inženýrům protokolů a bezpečnostním výzkumníkům najít zranitelnosti v kódových základnách v Solidity.

Titanoboa je interaktivní interpret jazyka Vyper a testovací prostředí pro rychlou zpětnou vazbu, když experimentujete s kontrakty mimo plný cyklus ve Foundry.

Medusa je stavový fuzzer chytrých kontraktů inspirovaný nástrojem Echidna. Poskytuje paralelizované fuzz testování chytrých kontraktů a ověřování pokročilých invariantů chytrých kontraktů.