Walnut

CodeTracer — це зручний відлагоджувач із можливістю подорожі в часі, розроблений для підтримки широкого спектру мов програмування web3.

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

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

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

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

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