Przejdź do głównej zawartości

Bezpieczeństwo, testowanie i weryfikacja formalna

Narzędzia do audytu, testowania, fuzzingu i weryfikacji w celu poprawy bezpieczeństwa i poprawności inteligentnych kontraktów.

Wyróżnione

Titanoboa is a Vyper interpreter and testing framework that provides a modern, integrated development experience for Vyper smart contracts. It enables developers to test and debug Vyper contracts directly within Python, offering features like pretty tracebacks, forking, debugging capabilities, pytest integration and out-of-the box fuzzing. Beyond its standalone capabilities, Titanoboa serves as the foundation for other popular testing frameworks like Ape and Moccasin, and is a core piece of infrastructure for the Vyper ecosystem.

Titanoboa
Bezpieczeństwo, testowanie i weryfikacja formalna

Titanoboa

Vyper · Narzędzia do debugowania

solidity-coverage provides smart-contract code coverage for the Hardhat developer platform. It's highly accurate, supports full viaIR solidity compilation and a large set of solidity-specific code branch patterns. It's installed on ~230k Github projects and is downloaded ~100k times a week from NPM.

solidity-coverage
Bezpieczeństwo, testowanie i weryfikacja formalna

solidity-coverage

Hardhat · Analityka · Pokrycie kodu · Solidity · Automatyzacja testów

Synpress is an end-to-end testing framework for web applications based on Cypress.io and Playwright, with support for MetaMask. It is a pioneering tool in web3 end-to-end testing with the potential to evolve into a decentralized network of test runners and continuous integration providers in the future. Synpress is easy to use, fully tested, and includes features such as MetaMask support, headless mode, integrated video recording, and many more. It is also blazingly-fast and extensible, with the ability to add custom commands and plugins. Synpress is already used by many open-source repositories.

Synpress
Bezpieczeństwo, testowanie i weryfikacja formalna

Synpress

Frontend · Ciągła integracja · Optymalizacja wydajności · Narzędzia do debugowania

Aplikacje

Wyświetlanie (19)

ERCx: Token Test Library

ERCx: Token Test Library

Foundry · Bezpieczeństwo · ERC-721 · Weryfikacja w czasie wykonania

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

Bezpieczeństwo · Edukacja · Analityka · Weryfikacja formalna · Wykonywanie symboliczne · Narzędzia do debugowania · Weryfikacja w czasie wykonania · Vyper

Crytic-Properties

Crytic-Properties

Bezpieczeństwo · ERC-721 · Testowanie fuzz · Solidity

Medusa

Medusa

Bezpieczeństwo · Zarządzanie · Analityka · Testowanie fuzz

Slither

Slither

Bezpieczeństwo · Analiza statyczna · Solidity · Vyper · Ciągła integracja

Verifereum

Verifereum

Bezpieczeństwo · Edukacja · Weryfikacja formalna

Titanoboa

Titanoboa

Vyper · Narzędzia do debugowania

solidity-coverage

solidity-coverage

Hardhat · Analityka · Pokrycie kodu · Solidity · Automatyzacja testów

blocksmith.js

blocksmith.js

CLI · Foundry · Międzyłańcuchowy · Wdrażanie kontraktu

Chimera

Chimera

Foundry · Solidity · Pokrycie kodu · Automatyzacja testów · Wtyczka VS Code

Synpress

Synpress

Frontend · Ciągła integracja · Optymalizacja wydajności · Narzędzia do debugowania

Simbolik - Solidity Debugger

Simbolik - Solidity Debugger

Bezpieczeństwo · Edukacja · Wykonywanie symboliczne · Wtyczka VS Code · Weryfikacja w czasie wykonania · Weryfikacja formalna

bulloak

bulloak

CLI · Solidity · Jakość kodu · Analiza kodu · Automatyzacja testów · Programowanie w Solidity · Pokrycie kodu

Ackee

Ackee

Edukacja · Bezpieczeństwo · Solidity · Analiza statyczna · Wdrażanie kontraktu · Kontrakty proxy

Kontrol - formal verification tool based on Foundry and KEVM

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · Edukacja · Zarządzanie · Weryfikacja formalna · Solidity · Weryfikacja w czasie wykonania · Wdrażanie kontraktu · Analiza statyczna

Act

Act

Edukacja · Analityka · Weryfikacja formalna · Wykonywanie symboliczne

Wallet Test Framework

Testowanie · Portfel · Doświadczenie użytkownika · Doświadczenie dewelopera · Bezpieczeństwo

hax

Weryfikacja formalna

Trail of Bits Skills Marketplace

Bezpieczeństwo · Testowanie · page-developers-tools-tag-agent-skills

Inne kategorie aplikacji

Międzyłańcuchowość i interoperacyjność

Narzędzia, które umożliwiają przesyłanie wiadomości, transfer aktywów i współdzielony stan w sieci głównej Ethereum, rollupach i innych blockchainach.

Infrastruktura transakcji i portfeli

Infrastruktura do tworzenia, podpisywania, wysyłania, symulowania i zarządzania transakcjami oraz portfelami Ethereum.

Dane, analityka i śledzenie

Narzędzia do indeksowania, zapytań, analityki i śledzenia danych on-chain, wykonywania i aktywności sieci.

Zasoby edukacyjne i społecznościowe

Materiały edukacyjne, dokumentacja, samouczki i platformy społecznościowe dla twórców Ethereum.

Biblioteki klienckie i SDK (front-end)

Biblioteki i zestawy SDK specyficzne dla danego języka do interakcji z węzłami, kontraktami i protokołami Ethereum.

Tworzenie inteligentnych kontraktów i łańcuchy narzędzi

Frameworki i narzędzia do pisania, testowania, wdrażania i aktualizowania inteligentnych kontraktów.