Sécurité et tests

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.

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.

Débogueur et simulateur de transactions basé sur le Web pour l'EVM. Open source et auto-hébergeable. Inspectez les états des variables à chaque étape, simulez les transactions avant le déploiement et profilez l'utilisation du gaz. Prend en charge n'importe quel fournisseur RPC.

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.

un outil CLI simple pour charger instantanément le code d'un contrat dans votre IDE.

Shell interactif super facile pour interagir avec les contrats intelligents

viem-tracer augmente un client Viem afin que les appels ethestimateGas et ethsendTransaction échoués incluent automatiquement une sortie de trace lisible par l'homme décodée avec sourcify.dev, et il ajoute des assistants typés autour de debug_traceCall afin que les développeurs puissent inspecter l'exécution sans quitter leur pile RPC existante.

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.

forge-stack-tracer achemine la sortie détaillée des tests Foundry via le décodage Swiss-Knife afin que les tests échoués renvoient des traces de pile interactives au lieu d'hexadécimal opaque.

Chimera est un framework pour écrire des tests Solidity dans Foundry et pouvoir les réutiliser avec d'autres outils open source tels que Echidna, Medusa, Halmos et Kontrol

Slither est le moteur d'analyse statique Python de Trail of Bits pour Solidity et Vyper : exécutez-le dans l'intégration continue (CI) pour déclencher des détecteurs, imprimer des vues structurelles de contrats ou scripter des vérifications personnalisées sur des bases de code entières.

Synpress superpose Playwright avec une automatisation de navigateur compatible avec Ethereum afin que vous puissiez tester de bout en bout les applications décentralisées (dapps), y compris les fenêtres contextuelles de portefeuille et les changements de chaîne, dans l'intégration continue (CI).

Aderyn est l'analyseur statique de contrats intelligents Solidity open source basé sur Rust de Cyfrin, conçu pour aider les ingénieurs de protocole et les chercheurs en sécurité à trouver des vulnérabilités dans les bases de code Solidity.

Titanoboa est un interpréteur Vyper interactif et un harnais de test pour des boucles de rétroaction rapides lorsque vous expérimentez avec des contrats en dehors d'une boucle Foundry complète.

Medusa est un fuzzer de contrats intelligents avec état (state) inspiré par Echidna. Il fournit des tests de fuzzing parallélisés de contrats intelligents et la vérification d'invariants avancés de contrats intelligents.

solidity-coverage fournit une couverture de code de contrats intelligents pour la plateforme de développement Hardhat. Il est très précis, prend en charge la compilation Solidity complète viaIR et un grand ensemble de modèles de branches de code spécifiques à Solidity. Il est installé sur environ 230 000 projets Github et est téléchargé environ 100 000 fois par semaine depuis NPM.

hevm est un moteur d'exécution EVM symbolique et concret, open source, de pointe et rapide, qui peut trouver des problèmes dans les contrats intelligents. Grâce à son système d'exécution et d'analyse symbolique, hevm peut exécuter des contrats de manière symbolique, semi-concrète ou concrète pour trouver des bugs, ou comparer deux contrats différents pour détecter des divergences, en effectuant une vérification d'équivalence.

Crytic-Properties est une suite de tests de sécurité réutilisables pour certaines des normes de jetons les plus largement utilisées telles que ERC-20, ERC-721, ERC-4626, et plus encore.

Wallet Test Framework est une suite automatisée qui parcourt les flux de base du portefeuille - transferts, lectures de solde, interactions de base avec les applications décentralisées (dapps) - afin que les équipes puissent tester en régression les attentes UX partagées dans l'intégration continue (CI).

Un générateur de tests de contrats intelligents basé sur la technique de l'arbre de branchement (Branching Tree Technique).

ERCx est une bibliothèque de tests open source complète pour les normes de jetons ERC, comprenant plus de 500 tests individuels sur les implémentations ERC-20, ERC-721, ERC-1155 et ERC-4626.

Auditeur de sécurité de contrats intelligents Solidity/EVM avec 104 modèles de vulnérabilité et 8 outils d'analyse. Atteint 100 % sur les benchmarks CTF et EVMBench (120/120). Analyse statique pour détecter les vulnérabilités dans les contrats intelligents.

foundry-storage-check est une GitHub Action pour les projets Foundry qui s'exécute sur chaque pull request pour s'assurer que les dispositions de stockage de proxy évolutives restent à l'abri des collisions et que les emplacements de stockage nouvellement ajoutés sont initialisés à zéro onchain avant que les fusions ne soient expédiées.

blocksmith.js est un harnais JavaScript léger autour de forge et anvil pour scripter des tests Foundry multi-chaînes ou multi-instances lorsqu'une seule EVM locale ne suffit pas.

KEVM est la sémantique exécutable du framework K de l'EVM : pointez-le vers le bytecode lorsque vous avez besoin d'une exécution vérifiée en termes de conformité, d'une exploration symbolique, d'un raisonnement sur le gaz ou de preuves qui suivent de près les règles d'Ethereum.

Kontrol élève les tests de propriétés de Foundry en preuves soutenues par KEVM afin que vous puissiez rechercher des garanties formelles avec moins de travail de spécification manuelle que le KEVM brut seul.

hax est un outil pour les traductions à haute assurance d'un grand sous-ensemble de Rust vers des langages formels tels que F* ou Rocq.

Act est le langage de spécification déclarative et la chaîne d'outils d'Ethereum pour décrire tous les comportements d'un programme EVM afin que les solveurs SMT, les démonstrateurs de théorèmes ou les outils d'analyse économique puissent raisonner sur l'exactitude au niveau du bytecode et la compatibilité des incitations, y compris les preuves de raffinement automatique par rapport aux implémentations concrètes.

Verifereum connecte les contrats intelligents Ethereum à la démonstration de théorèmes soutenue par HOL4 afin que vous puissiez viser des affirmations d'exactitude très fortes lorsque les approches SMT automatisées ne suffisent pas.