Semgrep (smart-contracts rules)

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

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

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

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

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.