Bezpečnost a testování

sol-profiler

Ladění a inspekce

CLI · Solidity · Analýza kódu

Aniket-Engg/sol-profiler sol-profiler(16)

sol-profiler is a command line tool that lists a Solidity contract's methods with their visibility, mutability and modifiers. Reviewers run it to see the surface of a contract at a glance.

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.