Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

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

Веб-сайт Социальные сети runtimeverification/simbolik-vscode(48 ☆)runtimeverification/simbolik-examples(5 ☆)

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

Related resources

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Abi Ninja

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

Walnut

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

evmc

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

solizard

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