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 — це зручний відлагоджувач із можливістю подорожі в часі, розроблений для підтримки широкого спектру мов програмування web3.

EDB: The Ethereum Project Debugger

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

Abi Ninja

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

Walnut

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

evmc

простий інструмент cli для миттєвого завантаження коду контракту у вашу IDE.

solizard

Надзвичайно проста інтерактивна оболонка для взаємодії зі смартконтрактами