Security & testing

hevm

Fuzz/Property testing

CLI · Foundry · Bezpečnost · Symbolická exekuce

hevm je open-source, špičkový a rychlý engine pro symbolické a konkrétní provádění EVM, který dokáže najít problémy v chytrých kontraktech. Prostřednictvím svého systému symbolického provádění a analýzy může hevm symbolicky, polokonkrétně nebo konkrétně provádět kontrakty za účelem nalezení chyb, nebo porovnat dva různé kontrakty a hledat nesrovnalosti prováděním kontroly ekvivalence.

Related resources

Chimera

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

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

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

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.

Medusa

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ů.

Titanoboa

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