Vai al contenuto principale
Sicurezza e testing

Simbolik - Solidity Debugger

Debug e ispezione

Visita il sito web (si apre in una nuova scheda)Simbolik - Solidity Debugger su X (si apre in una nuova scheda)Simbolik - Solidity Debugger su GitHub (si apre in una nuova scheda)

Vedi il prossimo

hardhat-gas-reporter

Informazioni su Simbolik - Solidity Debugger

Simbolik è un potente debugger per Solidity che combina il tradizionale debug con breakpoint con l'esecuzione simbolica, consentendo agli sviluppatori di esplorare ogni possibile percorso di esecuzione e scoprire le vulnerabilità con precisione. Disponibile come estensione per VSCode, Simbolik si integra perfettamente nei flussi di lavoro esistenti, offrendo debug in stile breakpoint, ispezione a livello di Solidity ed EVM e funzionalità di verifica formale.

Tag

  • Sicurezza
  • Formazione
  • Esecuzione simbolica
  • Estensione VSCode
  • Verifica a runtime
  • Verifica formale

Repositoryruntimeverification

Info

Tipo
Debug e ispezione
Stelle su GitHub
48
Licenza
BSD-3-Clause
Scheda revisionata
giugno 2026

Strumenti simili

Semgrep (smart-contracts rules)

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.

Nativo CROPS

heimdall-rs

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.

Nativo CROPS

sol2uml

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.