Przejdź do głównej treści
Chimera
Bezpieczeństwo i testowanie

Chimera

Testowanie fuzz/właściwości

Foundry · Solidity · Pokrycie kodu · Automatyzacja testów · Rozszerzenie VSCode

Społeczności (otwiera się w nowej karcie)Recon-Fuzz/chimera(161 ☆) (otwiera się w nowej karcie)Recon-Fuzz/create-chimera-app(52 ☆) (otwiera się w nowej karcie)Recon-Fuzz/recon-extension(36 ☆) (otwiera się w nowej karcie)Recon-Fuzz/setup-helpers(4 ☆) (otwiera się w nowej karcie)Recon-Fuzz/log-parser(4 ☆) (otwiera się w nowej karcie)

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

Powiązane zasoby

Slither

Slither

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

Synpress

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

Aderyn

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

Titanoboa

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

Medusa

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

solidity-coverage

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.