Security & testing
Simbolik - Solidity Debugger
Debugging & inspection
Sécurité · Éducation · Exécution symbolique · Extension VSCode · Vérification à l'exécution · Vérification formelle
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.
