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

Основне

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

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

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

Фронтенд · Безперервна інтеграція · Оптимізація продуктивності · Інструменти для налагодження

Показано (19)

ERCx: Token Test Library

Foundry · Безпека · ERC-721 · Верифікація під час виконання

K Semantics of the Ethereum Virtual Machine (EVM)

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

Crytic-Properties

Безпека · ERC-721 · Фазинг-тестування · Solidity

Medusa

Безпека · Управління · Аналіз · Фазинг-тестування

Slither

Безпека · Статичний аналіз · Solidity · Vyper · Безперервна інтеграція

Verifereum

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

Titanoboa

Vyper · Інструменти для налагодження

solidity-coverage

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

blocksmith.js

CLI · Foundry · Кросчейн · Розгортання контракту

Chimera

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

Synpress

Фронтенд · Безперервна інтеграція · Оптимізація продуктивності · Інструменти для налагодження

Simbolik - Solidity Debugger

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

bulloak

CLI · Solidity · Якість коду · Аналіз коду · Автоматизація тестування · Розробка на Solidity · Покриття коду

Ackee

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

Kontrol - formal verification tool based on Foundry and KEVM

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

Act

Освіта · Аналіз · Формальна верифікація · Символічне виконання

Wallet Test Framework

Тестування · гаманець · Користувацький досвід · Досвід розробника · Безпека

hax

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

Trail of Bits Skills Marketplace

Безпека · Тестування · page-developers-tools-tag-agent-skills

Інші категорії додатків

Кросчейн та інтероперабельність

Інструменти, що забезпечують обмін повідомленнями, передачу активів і спільний стан у головній мережі Ethereum, ролапах та інших блокчейнах.

Інфраструктура транзакцій і гаманців

Інфраструктура для створення, підписання, надсилання, симуляції та керування транзакціями та гаманцями Ethereum.

Дані, аналітика та відстеження

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

Освітні та спільнотні ресурси

Навчальні матеріали, документація, посібники та платформи спільноти для творців Ethereum.

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

Специфічні для мови бібліотеки та SDK для взаємодії з вузлами, контрактами та протоколами Ethereum.

Розробка смарт-контрактів та інструментарії

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

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

Основне

Застосування

Інші категорії додатків

Кросчейн та інтероперабельність

Інфраструктура транзакцій і гаманців

Дані, аналітика та відстеження

Освітні та спільнотні ресурси

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

Розробка смарт-контрактів та інструментарії