Sicherheit & Testing

sol-profiler

Debugging & Inspektion

CLI · Solidity · Code-Analyse

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.

Verwandte Ressourcen

CodeTracer

CodeTracer ist ein benutzerfreundlicher Time-Traveling-Debugger, der entwickelt wurde, um eine breite Palette von Web3-Programmiersprachen zu unterstützen.

EDB: The Ethereum Project Debugger

EDB ist ein Source-Level-Debugger für die Solidity-Ausführung mit Stepping, lokalen Variablen, Watches und Haltepunkten, wenn Sie IDE-ähnliche Sichtbarkeit in das Vertragsverhalten onchain oder in Tests benötigen.

Simbolik - Solidity Debugger

Simbolik ist ein leistungsstarker Solidity-Debugger, der traditionelles Breakpoint-Debugging mit symbolischer Ausführung kombiniert und es Entwicklern ermöglicht, jeden möglichen Ausführungspfad zu erkunden und Schwachstellen präzise aufzudecken. Simbolik ist als VSCode-Erweiterung verfügbar und lässt sich nahtlos in bestehende Workflows integrieren. Es bietet Breakpoint-Debugging, Inspektion auf Solidity- und EVM-Ebene sowie Funktionen zur formalen Verifikation.

Abi Ninja

Abi Ninja ist eine Browser-Benutzeroberfläche zum Aufrufen von Verträgen mit bekannten ABIs, eingefügten ABIs oder dekompiliertem Bytecode, mit Proxy-fähigen Lesevorgängen über viele Netzwerke hinweg, einschließlich Ihres lokal ausgeführten Hardhat- oder Anvil-Knotens.

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.