Перейти к основному содержанию

Безопасность, тестирование и формальная верификация

Инструменты для аудита, тестирования, фаззинга и верификации для повышения безопасности и корректности смарт-контрактов.

Избранное

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
Безопасность, тестирование и формальная верификация

Titanoboa

Vyper · Инструменты отладки

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
Безопасность, тестирование и формальная верификация

solidity-coverage

Hardhat · Аналитика · Покрытие кода · Solidity · Автоматизация тестирования

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
Безопасность, тестирование и формальная верификация

Synpress

Фронтенд · Непрерывная интеграция · Оптимизация производительности · Инструменты отладки

Применения

Показано (19)

ERCx: Token Test Library

ERCx: Token Test Library

Foundry · Безопасность · ERC-721 · Верификация во время выполнения

K Semantics of the Ethereum Virtual Machine (EVM)

K Semantics of the Ethereum Virtual Machine (EVM)

Безопасность · Обучение · Аналитика · Формальная верификация · Символьное выполнение · Инструменты отладки · Верификация во время выполнения · Vyper

Crytic-Properties

Crytic-Properties

Безопасность · ERC-721 · Фаззинг-тестирование · Solidity

Medusa

Medusa

Безопасность · Управление · Аналитика · Фаззинг-тестирование

Slither

Slither

Безопасность · Статический анализ · Solidity · Vyper · Непрерывная интеграция

Verifereum

Verifereum

Безопасность · Обучение · Формальная верификация

Titanoboa

Titanoboa

Vyper · Инструменты отладки

solidity-coverage

solidity-coverage

Hardhat · Аналитика · Покрытие кода · Solidity · Автоматизация тестирования

blocksmith.js

blocksmith.js

Командная строка · Foundry · Межсетевой · Развертывание контракта

Chimera

Chimera

Foundry · Solidity · Покрытие кода · Автоматизация тестирования · Расширение VSCode

Synpress

Synpress

Фронтенд · Непрерывная интеграция · Оптимизация производительности · Инструменты отладки

Simbolik - Solidity Debugger

Simbolik - Solidity Debugger

Безопасность · Обучение · Символьное выполнение · Расширение VSCode · Верификация во время выполнения · Формальная верификация

bulloak

bulloak

Командная строка · Solidity · Качество кода · Анализ кода · Автоматизация тестирования · Разработка на Solidity · Покрытие кода

Ackee

Ackee

Обучение · Безопасность · Solidity · Статический анализ · Развертывание контракта · Прокси-контракты

Kontrol - formal verification tool based on Foundry and KEVM

Kontrol - formal verification tool based on Foundry and KEVM

Foundry · Обучение · Управление · Формальная верификация · Solidity · Верификация во время выполнения · Развертывание контракта · Статический анализ

Act

Act

Обучение · Аналитика · Формальная верификация · Символьное выполнение

Wallet Test Framework

Тестирование · кошелек · Удобство · Опыт разработчика · Безопасность

hax

Формальная верификация

Trail of Bits Skills Marketplace

Безопасность · Тестирование · page-developers-tools-tag-agent-skills

Другие категории приложений

Межсетевые решения и интероперабельность

Инструменты, обеспечивающие обмен сообщениями, передачу активов и общее состояние в основной сети Ethereum, ролл-апах и других блокчейнах.

Инфраструктура для транзакций и кошельков

Инфраструктура для создания, подписания, отправки, симуляции и управления транзакциями и кошельками Ethereum.

Данные, аналитика и отслеживание

Инструменты для индексации, запросов, аналитики и отслеживания он-чейн данных, исполнения и сетевой активности.

Образовательные и общественные ресурсы

Учебные материалы, документация, руководства и платформы сообщества для создателей Ethereum.

Клиентские библиотеки и SDK (фронтенд)

Языковые библиотеки и SDK для взаимодействия с узлами, контрактами и протоколами Ethereum.

Разработка смарт-контрактов и наборы инструментов

Фреймворки и инструменты для написания, тестирования, развертывания и обновления смарт-контрактов.