Semgrep (smart-contracts rules)

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 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 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 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 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.