Dans cette vidéo, je vais montrer comment trouver des vulnérabilités dans un contrat intelligent Ethereum écrit en Solidity en utilisant echidna, l'un des seuls fuzzers de contrats intelligents Ethereum.
#Fuzzing #Ethereum #Solidity
00:00 Introduction
01:00 Commencer avec echidna
01:50 Test de base avec echidna sur testme.sol
03:00 Invariants d'echidna
05:45 Contrat intelligent cible Missing.sol
07:25 Appel d'echidna sur Missing.sol
08:40 Echidna détecte le problème
09:05 Autres exemples intéressants d'echidna
11:22 Approfondir
==== 💻 Formation FuzzingLabs ====
==== 🦄 Rejoignez la communauté ====
==== 📡 Réseaux sociaux ====
Mots-clés : Fuzzing, Test de Fuzz, Ethereum, Solidity, ETH, contrat intelligent, fuzzer EVM