Bezpieczeństwo i testowanie

CodeTracer to przyjazny dla użytkownika debugger z funkcją podróży w czasie, zaprojektowany do obsługi szerokiej gamy języków programowania web3.

Simbolik to potężny debugger Solidity, który łączy tradycyjne debugowanie z punktami przerwania (breakpoints) z symbolicznym wykonywaniem, umożliwiając deweloperom eksplorację każdej możliwej ścieżki wykonania i precyzyjne odkrywanie podatności. Dostępny jako rozszerzenie VSCode, Simbolik płynnie integruje się z istniejącymi przepływami pracy, oferując debugowanie w stylu punktów przerwania, inspekcję na poziomie Solidity i EVM oraz możliwości weryfikacji formalnej.

Oparty na przeglądarce debugger i symulator transakcji dla EVM. Otwartoźródłowy i możliwy do samodzielnego hostowania. Badaj stany zmiennych na każdym kroku, symuluj transakcje przed wdrożeniem i profiluj zużycie gazu. Obsługuje dowolnego dostawcę RPC.

Abi Ninja to interfejs przeglądarkowy do wywoływania kontraktów ze znanymi ABI, wklejonymi ABI lub zdekompilowanym kodem bajtowym, z odczytami uwzględniającymi proxy w wielu sieciach, w tym w lokalnie uruchomionym węźle Hardhat lub Anvil.

proste narzędzie cli do natychmiastowego ładowania kodu kontraktu w Twoim IDE.

Super łatwa interaktywna powłoka (shell) do interakcji z inteligentnymi kontraktami

viem-tracer rozszerza klienta Viem, dzięki czemu nieudane wywołania ethestimateGas i ethsendTransaction automatycznie zawierają czytelne dla człowieka dane wyjściowe śledzenia zdekodowane za pomocą sourcify.dev, a także dodaje typowane funkcje pomocnicze wokół debug_traceCall, dzięki czemu deweloperzy mogą badać wykonanie bez opuszczania swojego obecnego stosu RPC.

EDB to debugger na poziomie kodu źródłowego do wykonywania Solidity z możliwością pracy krokowej, zmiennymi lokalnymi, podglądami i punktami przerwania, gdy potrzebujesz widoczności zachowania kontraktu onchain lub w testach na poziomie IDE.

forge-stack-tracer przesyła szczegółowe dane wyjściowe testów Foundry przez dekodowanie Swiss-Knife, dzięki czemu nieudane testy zwracają interaktywne ślady stosu zamiast nieprzejrzystych wartości szesnastkowych.

Chimera to framework do pisania testów Solidity w foundry z możliwością ich ponownego użycia z innymi narzędziami Open Source, takimi jak Echidna, Medusa, Halmos i Kontrol

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.

Synpress łączy Playwright z automatyzacją przeglądarki świadomą Ethereum, dzięki czemu możesz przeprowadzać testy end-to-end zdecentralizowanych aplikacji (dapps), w tym wyskakujących okienek portfeli i przełączeń łańcuchów, w CI.

Aderyn to otwartoźródłowy, oparty na języku Rust analizator statyczny inteligentnych kontraktów Solidity od Cyfrin, zaprojektowany, aby pomóc inżynierom protokołów i badaczom bezpieczeństwa w znajdowaniu luk w bazach kodu Solidity.

Titanoboa to interaktywny interpreter Vyper i środowisko testowe dla szybkich pętli sprzężenia zwrotnego, gdy eksperymentujesz z kontraktami poza pełną pętlą Foundry.

Medusa to fuzzer inteligentnych kontraktów z zachowaniem stanu (stateful), zainspirowany przez Echidna. Zapewnia zrównoleglone testowanie rozmyte (fuzz testing) inteligentnych kontraktów oraz weryfikację zaawansowanych niezmienników inteligentnych kontraktów.

solidity-coverage zapewnia pokrycie kodu inteligentnych kontraktów dla platformy deweloperskiej Hardhat. Jest wysoce dokładne, obsługuje pełną kompilację Solidity viaIR i duży zestaw wzorców gałęzi kodu specyficznych dla Solidity. Jest zainstalowane w ~230 tys. projektów na Githubie i pobierane ~100 tys. razy w tygodniu z NPM.

hevm to otwartoźródłowy, nowoczesny, szybki silnik symbolicznego i konkretnego wykonywania EVM, który potrafi znajdować problemy w inteligentnych kontraktach. Dzięki systemowi symbolicznego wykonywania i analizy, hevm może symbolicznie, pół-konkretnie lub konkretnie wykonywać kontrakty w celu znalezienia błędów, lub porównywać dwa różne kontrakty pod kątem rozbieżności, przeprowadzając sprawdzanie równoważności.

Crytic-Properties to pakiet testów bezpieczeństwa wielokrotnego użytku dla niektórych z najczęściej używanych standardów tokenów, takich jak ERC-20, ERC-721, ERC-4626 i innych.

Wallet Test Framework to zautomatyzowany pakiet, który przechodzi przez podstawowe przepływy portfela - transfery, odczyty salda, podstawowe interakcje ze zdecentralizowanymi aplikacjami (dapps) - dzięki czemu zespoły mogą przeprowadzać testy regresyjne wspólnych oczekiwań UX w CI.

Generator testów inteligentnych kontraktów oparty na technice drzewa rozgałęzień (Branching Tree Technique).

ERCx to kompleksowa, otwartoźródłowa biblioteka testowa dla standardów tokenów ERC, zawierająca ponad 500 pojedynczych testów w implementacjach ERC-20, ERC-721, ERC-1155 i ERC-4626.

Audytor bezpieczeństwa inteligentnych kontraktów Solidity/EVM ze 104 wzorcami podatności i 8 narzędziami analitycznymi. Osiąga 100% w benchmarkach CTF i EVMBench (120/120). Analiza statyczna do wykrywania podatności w inteligentnych kontraktach.

foundry-storage-check to akcja GitHub dla projektów Foundry, która uruchamia się przy każdym pull requeście, aby upewnić się, że układy pamięci masowej aktualizowalnych proxy pozostają bezpieczne przed kolizjami, a nowo dołączone sloty pamięci masowej są inicjowane zerami onchain przed wdrożeniem scaleń.

blocksmith.js to cienka warstwa JavaScript wokół forge i anvil do tworzenia skryptów testów Foundry w wielu łańcuchach lub wielu instancjach, gdy pojedyncza lokalna maszyna EVM nie wystarcza.

KEVM to wykonywalna semantyka EVM w K-framework: wskaż jej kod bajtowy, gdy potrzebujesz wykonania ze sprawdzeniem zgodności, eksploracji symbolicznej, wnioskowania o gazie lub dowodów, które ściśle śledzą zasady Ethereum.

Kontrol podnosi testy właściwości Foundry do dowodów opartych na KEVM, dzięki czemu możesz dążyć do formalnych gwarancji przy mniejszej ilości ręcznie pisanej specyfikacji niż w przypadku samego KEVM.

hax to narzędzie do tłumaczeń o wysokiej pewności (high assurance) dużego podzbioru języka Rust na języki formalne, takie jak F* lub Rocq.

Act to deklaratywny język specyfikacji i zestaw narzędzi Ethereum do opisywania wszystkich zachowań programu EVM, dzięki czemu solvery SMT, systemy dowodzenia twierdzeń lub narzędzia analizy ekonomicznej mogą wnioskować o poprawności na poziomie kodu bajtowego i kompatybilności zachęt, w tym o automatycznych dowodach udoskonalenia w stosunku do konkretnych implementacji.

Verifereum łączy inteligentne kontrakty Ethereum z dowodzeniem twierdzeń opartym na HOL4, dzięki czemu możesz dążyć do bardzo silnych gwarancji poprawności, gdy zautomatyzowane podejścia SMT nie wystarczają.