Bezpečnost a testování

heimdall-rs

Ladění a inspekce

Nástroje pro ladění · Dekódování transakcí · CLI · Analýza kódu

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.

Související zdroje

CodeTracer

CodeTracer je uživatelsky přívětivý debugger s možností cestování v čase, navržený pro podporu široké škály programovacích jazyků web3.

EDB: The Ethereum Project Debugger

EDB je debugger na úrovni zdrojového kódu pro provádění v Solidity s krokováním, lokálními proměnnými, sledováním a body přerušení, když potřebujete viditelnost chování kontraktu onchain nebo v testech na úrovni IDE.

Simbolik - Solidity Debugger

Simbolik je výkonný debugger pro Solidity, který kombinuje tradiční ladění pomocí breakpointů se symbolickým prováděním, což vývojářům umožňuje prozkoumat každou možnou cestu provádění a s přesností odhalit zranitelnosti. Simbolik, dostupný jako rozšíření pro VSCode, se hladce integruje do stávajících pracovních postupů a nabízí ladění ve stylu breakpointů, inspekci na úrovni Solidity a EVM a možnosti formální verifikace.

Abi Ninja

Abi Ninja je uživatelské rozhraní v prohlížeči pro volání kontraktů se známými ABI, vloženými ABI nebo dekompilovaným bajtkódem, s čtením s podporou proxy napříč mnoha sítěmi, včetně vašeho lokálně běžícího uzlu Hardhat nebo 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.