Bezpečnost a testování

CodeTracer je uživatelsky přívětivý debugger s možností cestování v čase, navržený pro podporu široké škály programovacích jazyků web3.

Simbolik je výkonný debugger pro Solidity, který kombinuje tradiční ladění pomocí breakpointů se symbolickým prováděním, což vývojářům umožňuje prozkoumat každou možnou cestu provádění a s přesností odhalit zranitelnosti. Simbolik, dostupný jako rozšíření pro VSCode, se hladce integruje do stávajících pracovních postupů a nabízí ladění ve stylu breakpointů, inspekci na úrovni Solidity a EVM a možnosti formální verifikace.

Webový debugger a simulátor transakcí pro EVM. Open-source a s možností vlastního hostování. Kontrolujte stavy proměnných v každém kroku, simulujte transakce před nasazením a profilujte využití gasu. Podporuje jakéhokoli poskytovatele RPC.

Abi Ninja je uživatelské rozhraní v prohlížeči pro volání kontraktů se známými ABI, vloženými ABI nebo dekompilovaným bajtkódem, s čtením s podporou proxy napříč mnoha sítěmi, včetně vašeho lokálně běžícího uzlu Hardhat nebo Anvil.

jednoduchý cli nástroj pro okamžité načtení kódu kontraktu do vašeho IDE.

Super snadný interaktivní shell pro interakci s chytrými kontrakty

viem-tracer rozšiřuje klienta Viem tak, aby neúspěšná volání ethestimateGas a ethsendTransaction automaticky obsahovala lidsky čitelný výstup trasování dekódovaný pomocí sourcify.dev, a přidává typované pomocníky kolem debug_traceCall, takže vývojáři mohou kontrolovat provádění, aniž by museli opustit svůj stávající RPC stack.

EDB je debugger na úrovni zdrojového kódu pro provádění v Solidity s krokováním, lokálními proměnnými, sledováním a body přerušení, když potřebujete viditelnost chování kontraktu onchain nebo v testech na úrovni IDE.

forge-stack-tracer směruje podrobný výstup testů z Foundry přes dekódování Swiss-Knife, takže selhávající testy vracejí interaktivní trasování zásobníku namísto neprůhledného hexadecimálního kódu.

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

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

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.

Crytic-Properties je sada opakovaně použitelných bezpečnostních testů pro některé z nejpoužívanějších standardů tokenů, jako jsou ERC-20, ERC-721, ERC-4626 a další.

Wallet Test Framework je automatizovaná sada, která prochází základními toky peněženky – převody, čtení zůstatků, základní interakce s decentralizovanými aplikacemi (dapps) – takže týmy mohou v CI provádět regresní testování sdílených očekávání ohledně UX.

Generátor testů chytrých kontraktů založený na technice větvícího se stromu (Branching Tree Technique).

ERCx je komplexní open-source testovací knihovna pro standardy ERC tokenů, obsahující více než 500 jednotlivých testů napříč implementacemi ERC-20, ERC-721, ERC-1155 a ERC-4626.

Bezpečnostní auditor chytrých kontraktů pro Solidity/EVM se 104 vzory zranitelností a 8 analytickými nástroji. Dosahuje 100 % v benchmarcích CTF a EVMBench (120/120). Statická analýza pro detekci zranitelností v chytrých kontraktech.

foundry-storage-check je GitHub Action pro projekty ve Foundry, která se spouští při každém pull requestu, aby zajistila, že rozložení úložiště aktualizovatelných proxy zůstane bezpečné proti kolizím a že nově připojené sloty úložiště jsou onchain inicializovány na nulu před odesláním sloučení.

blocksmith.js je tenký obal v JavaScriptu kolem forge a anvil pro skriptování testů ve Foundry pro více řetězců nebo více instancí, když jeden lokální EVM nestačí.

KEVM je spustitelná sémantika EVM v K-frameworku: namiřte ji na bajtkód, když potřebujete provádění s kontrolou shody, symbolické zkoumání, uvažování o gasu nebo důkazy, které přesně sledují pravidla Etherea.

Kontrol povyšuje testy vlastností ve Foundry na důkazy podložené KEVM, takže můžete usilovat o formální záruky s menším množstvím ručně psaných specifikací než u samotného čistého KEVM.

hax je nástroj pro vysoce spolehlivé překlady velké podmnožiny jazyka Rust do formálních jazyků, jako jsou F* nebo Rocq.

Act je deklarativní specifikační jazyk a sada nástrojů Etherea pro popis veškerého chování EVM programu, aby SMT řešiče, dokazovače teorémů nebo nástroje pro ekonomickou analýzu mohly uvažovat o správnosti na úrovni bajtkódu a kompatibilitě pobídek, včetně automatických důkazů zjemnění vůči konkrétním implementacím.

Verifereum propojuje chytré kontrakty Etherea s dokazováním teorémů podporovaným HOL4, takže můžete cílit na velmi silná tvrzení o správnosti, když automatizované přístupy SMT nestačí.