Semgrep (smart-contracts rules)

CodeTracer est un débogueur convivial avec voyage dans le temps (time-traveling debugger) conçu pour prendre en charge un large éventail de langages de programmation web3.

EDB est un débogueur au niveau de la source pour l'exécution Solidity avec exécution pas à pas, variables locales, espions et points d'arrêt lorsque vous avez besoin d'une visibilité de niveau IDE sur le comportement du contrat onchain ou dans les tests.

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.

Abi Ninja est une interface utilisateur de navigateur pour appeler des contrats avec des ABI connues, des ABI collées ou du bytecode décompilé, avec des lectures tenant compte des proxys sur de nombreux réseaux, y compris votre nœud Hardhat ou Anvil exécuté localement.

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.

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.