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.

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.

4byte.directory maps four-byte function selectors and 32-byte event-signature hashes to their human-readable signatures. Builders query it when decoding calldata or logs from contracts without a published ABI.

The ABI Calldata Layout Visualizer decodes ABI calldata and draws its byte layout, showing where heads, tails, and offsets sit in the encoded payload. Builders open it when a plain decoder does not explain why an encoding is wrong.

evm-storage turns a transaction hash into readable state diffs and can list a contract's full storage. Builders install the command line tool when they need to see exactly which storage slots a call changed.

EVMConnector is a browser workspace for calling contract functions on any EVM chain, with saved contracts and shareable call links. Builders use it to drive a contract without writing a script.

forky is a fork choice viewer for the Ethereum beacon chain. Consensus client developers self-host it or use the public instances to see and debug fork choice behavior on mainnet and testnets.

geas, the Good Ethereum Assembler, is an assembler for writing raw EVM bytecode by hand, maintained by a go-ethereum core developer. It is used for EIP test cases and other low-level contract work.

hardhat-tracer is a Hardhat plugin that prints internal calls, events, and storage operations for a transaction in the console. Hardhat users install it to see what actually happened inside a failing test transaction.

The HashEx ABI Encoder is a web form that ABI-encodes constructor and function arguments from a pasted signature and values. Builders use it when they need encoded arguments and are not at a terminal.

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.

pyevmasm is a Python disassembler and assembler for EVM bytecode from Trail of Bits. Analysis scripts import it to turn bytecode into instructions and back.

Radar, from Auditware, is a static analysis tool that covers Solidity as well as Rust, Anchor, and Stylus contracts. Auditors run it to get findings across a mixed contract codebase.

A calldata decoder that also unwraps nested function calls. Builders open it when a flat decoder leaves the inner calls of a batched or forwarded transaction unreadable.

scopelint is an opinionated formatter and linter for Foundry Solidity projects. Builders install it to hold a codebase to the ScopeLift conventions.

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.

SmartContractGUI turns an uploaded ABI into an interface for reading from and writing to that contract on any EVM chain. Builders use it when they have an ABI but no frontend.

sol-profiler is a command line tool that lists a Solidity contract's methods with their visibility, mutability and modifiers. Reviewers run it to see the surface of a contract at a glance.

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.

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.

The Tenderly CLI is the command line client for Tenderly, pushing contracts for verification and driving error tracking, monitoring, and alerting. Builders install it to run those steps from a terminal or a continuous integration job.

tracoor is an explorer for beacon states and execution traces. Client and protocol developers self-host it to inspect block and state traces on devnets and testnets.

Web3Client is a browser tool for creating, testing, and sharing contract ABIs and the calls made against them. Builders use it to work out a call and hand the result to someone else.

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.

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.

EVMole extracts function selectors, arguments, and control flow from raw EVM bytecode, including contracts with no verified source. Builders point it at an unknown contract to work out what its functions take.

revm-inspectors is a Rust crate of EVM execution hooks and tracing built on revm, and it powers call tracing in Reth and Foundry. Rust builders import it to build their own tracers and debuggers.

Un plugin Hardhat qui fournit des analyses d'utilisation du gaz pour les suites de tests de contrats intelligents. Il dispose d'un support dédié pour les chaînes OP Stack, est une dépendance dans plus de 150 000 dépôts GitHub et est téléchargé depuis NPM plus de 100 000 fois par semaine.

Slippy is a Solidity linter for static analysis of smart contracts. Teams install the npm package to lint contracts as part of a build.

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.

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

Assertoor runs configurable checks and assertions against a live Ethereum devnet to validate its behavior. Client and devnet teams use it to confirm a running network is healthy, in the same family as Hive.

contender from Flashbots is a load-testing tool that floods EVM execution nodes over JSON-RPC and benchmarks the results. Teams benchmarking a client point it at an endpoint to generate load and measure throughput.

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

eth-tester is a pluggable in-memory Ethereum backend used by web3.py for fast unit tests. Python builders import it when tests should run against a simulated chain instead of a node.

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

spamoor is a configurable Ethereum transaction generator for load-testing testnets and devnets with realistic traffic. Teams point it at a network to see how it behaves under sustained transaction volume.

goevmlab is an EVM fuzzing and differential testing lab built by a go-ethereum core developer. EVM implementers use it to fuzz their own implementation and compare its behavior against others to find divergences.

Hive is an end-to-end integration test harness that runs Ethereum clients in Docker across simulator scenarios. Client teams use it to check that implementations agree with each other.

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.

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.

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.

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.

Certora AutoProver is an AI bot that automates parts of formal verification for smart contracts. Verification engineers use it to generate and run checks with less manual specification work.

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.

Certora Prover is a cloud formal-verification service that checks specifications written in CVL against deployed contract code. Verification engineers use it to prove that a contract holds stated properties for all inputs.