Passer au contenu principal
Sécurité et tests

Simbolik - Solidity Debugger

Débogage et inspection

Visiter le site web (s'ouvre dans un nouvel onglet)Simbolik - Solidity Debugger sur X (s'ouvre dans un nouvel onglet)Simbolik - Solidity Debugger sur GitHub (s'ouvre dans un nouvel onglet)

Voir le suivant

hardhat-gas-reporter

À propos de Simbolik - Solidity Debugger

Simbolik est un puissant débogueur Solidity qui combine le débogage traditionnel par points d'arrêt avec l'exécution symbolique, permettant aux développeurs d'explorer chaque chemin d'exécution possible et de découvrir les vulnérabilités avec précision. Disponible sous forme d'extension VSCode, Simbolik s'intègre parfaitement aux flux de travail existants, offrant un débogage de style point d'arrêt, une inspection au niveau de Solidity et de l'EVM, ainsi que des capacités de vérification formelle.

Tags

  • Sécurité
  • Éducation
  • Exécution symbolique
  • Extension VSCode
  • Vérification à l'exécution
  • Vérification formelle

Dépôtsruntimeverification

Informations

Type
Débogage et inspection
Étoiles GitHub
48
Licence
BSD-3-Clause
Fiche révisée
juin 2026

Outils similaires

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.

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

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