Безопасность и тестирование

CodeTracer — это удобный отладчик с функцией путешествия во времени (time-traveling debugger), разработанный для поддержки широкого спектра языков программирования web3.

Simbolik — это мощный отладчик Solidity, который сочетает традиционную отладку с точками останова с символьным выполнением, позволяя разработчикам исследовать каждый возможный путь выполнения и с точностью выявлять уязвимости. Доступный в виде расширения для VSCode, Simbolik легко интегрируется в существующие рабочие процессы, предлагая отладку в стиле точек останова, проверку на уровне Solidity и EVM, а также возможности формальной верификации.

Веб-отладчик и симулятор транзакций для EVM. С открытым исходным кодом и возможностью самостоятельного хостинга. Проверяйте состояния переменных на каждом шаге, симулируйте транзакции перед развертыванием и профилируйте использование газа. Поддерживает любого RPC-провайдера.

Abi Ninja — это браузерный пользовательский интерфейс для вызова контрактов с известными ABI, вставленными ABI или декомпилированным байт-кодом, с поддержкой чтения через прокси-контракты во многих сетях, включая ваш локально запущенный узел Hardhat или Anvil.

простой инструмент командной строки (CLI) для мгновенной загрузки кода контракта в вашу IDE.

Суперпростая интерактивная оболочка для взаимодействия со смарт-контрактами

viem-tracer расширяет клиент Viem, чтобы неудачные вызовы ethestimateGas и ethsendTransaction автоматически включали удобочитаемый вывод трассировки, декодированный с помощью sourcify.dev, и добавляет типизированные вспомогательные функции для debug_traceCall, чтобы разработчики могли проверять выполнение, не покидая свой текущий стек RPC.

EDB — это отладчик на уровне исходного кода для выполнения Solidity с пошаговым выполнением, локальными переменными, контрольными значениями и точками останова, когда вам нужна видимость поведения контракта ончейн или в тестах на уровне IDE.

forge-stack-tracer пропускает подробный вывод тестов Foundry через декодирование Swiss-Knife, поэтому неудачные тесты возвращают интерактивные трассировки стека вместо непрозрачного шестнадцатеричного кода.

Chimera — это фреймворк для написания тестов Solidity в Foundry с возможностью их повторного использования с другими инструментами с открытым исходным кодом, такими как Echidna, Medusa, Halmos и Kontrol.

Слизер — это механизм статического анализа на Python от Trail of Bits для Solidity и Vyper: запускайте его в CI для срабатывания детекторов, вывода структурных представлений контрактов или написания скриптов для пользовательских проверок по целым кодовым базам.

Synpress объединяет Playwright с автоматизацией браузера, адаптированной для Эфириума, чтобы вы могли проводить сквозное тестирование децентрализованных приложений (dapp), включая всплывающие окна кошельков и переключения сетей, в CI.

Aderyn — это статический анализатор смарт-контрактов на Solidity с открытым исходным кодом на базе Rust от Cyfrin, разработанный для того, чтобы помочь инженерам протоколов и исследователям безопасности находить уязвимости в базах кода на Solidity.

Titanoboa — это интерактивный интерпретатор Vyper и тестовая среда для быстрых циклов обратной связи при экспериментах с контрактами вне полного цикла Foundry.

Medusa — это фаззер смарт-контрактов с сохранением состояния (stateful), вдохновленный Echidna. Он обеспечивает распараллеленное фазз-тестирование смарт-контрактов и верификацию сложных инвариантов смарт-контрактов.

solidity-coverage обеспечивает покрытие кода смарт-контрактов для платформы разработчиков Hardhat. Он обладает высокой точностью, поддерживает полную компиляцию Solidity viaIR и большой набор специфичных для Solidity шаблонов ветвления кода. Он установлен примерно в 230 тысячах проектов на GitHub и скачивается около 100 тысяч раз в неделю из NPM.

hevm — это современный, быстрый механизм символьного и конкретного выполнения EVM с открытым исходным кодом, который может находить проблемы в смарт-контрактах. С помощью своей системы символьного выполнения и анализа hevm может символьно, полуконкретно или конкретно выполнять контракты для поиска ошибок или сравнивать два разных контракта на наличие расхождений, выполняя проверку эквивалентности.

Crytic-Properties — это набор повторно используемых тестов безопасности для некоторых из наиболее широко используемых стандартов токенов, таких как ERC-20, ERC-721, ERC-4626 и других.

Wallet Test Framework — это автоматизированный набор, который проходит по основным процессам кошелька (переводы, чтение баланса, базовые взаимодействия с децентрализованными приложениями (dapp)), чтобы команды могли проводить регрессионное тестирование общих ожиданий от UX в CI.

Генератор тестов для смарт-контрактов, основанный на методе ветвящегося дерева (Branching Tree Technique).

ERCx — это комплексная библиотека тестирования с открытым исходным кодом для стандартов токенов ERC, включающая более 500 отдельных тестов для реализаций ERC-20, ERC-721, ERC-1155 и ERC-4626.

Аудитор безопасности смарт-контрактов Solidity/EVM со 104 паттернами уязвимостей и 8 инструментами анализа. Достигает 100% в бенчмарках CTF и EVMBench (120/120). Статический анализ для обнаружения уязвимостей в смарт-контрактах.

foundry-storage-check — это GitHub Action для проектов Foundry, которое запускается при каждом pull-запросе, чтобы гарантировать, что макеты хранилища обновляемых прокси остаются безопасными от коллизий, а недавно добавленные слоты хранилища инициализируются нулями ончейн до того, как слияния будут отправлены.

blocksmith.js — это тонкая обертка на JavaScript вокруг forge и anvil для написания скриптов мультичейн-тестов или тестов с несколькими экземплярами в Foundry, когда одной локальной EVM недостаточно.

KEVM — это исполняемая семантика EVM на базе K-framework: используйте ее с байт-кодом, когда вам нужно выполнение с проверкой соответствия, символьное исследование, анализ газа или доказательства, которые строго следуют правилам Эфириума.

Kontrol преобразует тесты свойств Foundry в доказательства на базе KEVM, чтобы вы могли получать формальные гарантии с меньшим объемом ручного написания спецификаций, чем при использовании только чистого KEVM.

hax — это инструмент для высоконадежной трансляции большого подмножества Rust в формальные языки, такие как F* или Rocq.

Act — это декларативный язык спецификаций Эфириума и набор инструментов для описания всех вариантов поведения EVM-программы, чтобы SMT-решатели, системы автоматического доказательства теорем или инструменты экономического анализа могли делать выводы о корректности на уровне байт-кода и совместимости стимулов, включая автоматические доказательства уточнения для конкретных реализаций.

Verifereum подключает смарт-контракты Эфириума к доказательству теорем на базе HOL4, чтобы вы могли добиваться очень строгих гарантий корректности, когда автоматизированных подходов SMT недостаточно.