Безпека та тестування

heimdall-rs

Налагодження та перевірка

Інструменти налагодження · Декодування транзакцій · CLI · Аналіз коду

heimdall-rs is a Rust EVM toolkit that disassembles bytecode, decompiles contracts, generates control flow graphs, and decodes calldata and traces. Builders reach for it when they need to understand a contract that has no published source.

Пов'язані ресурси

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Simbolik - Solidity Debugger

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

Abi Ninja

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

Tenderly

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.

Semgrep (smart-contracts rules)

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.