Radar (Auditware)

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.

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.