Bezpečnost a testování

Aderyn

Fuzz/Property testování

CLI · Bezpečnost · Vzdělávání · Solidity · Statická analýza · Rozšíření pro VSCode · Řízeno komunitou

Webové stránky Sociální sítě Cyfrin/aderyn(787 ☆)

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.

Související zdroje

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

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.

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

solidity-coverage

solidity-coverage poskytuje pokrytí kódu chytrých kontraktů pro vývojářskou platformu Hardhat. Je vysoce přesný, podporuje plnou kompilaci Solidity viaIR a velkou sadu vzorů větvení kódu specifických pro Solidity. Je nainstalován na ~230 tisících projektech na Githubu a z NPM se stahuje ~100 tisíckrát týdně.