En este video, mostraré cómo encontrar vulnerabilidades dentro de un contrato inteligente de Ethereum escrito en Solidity usando echidna, uno de los pocos fuzzers de contratos inteligentes de Ethereum.
#Fuzzing #Ethereum #Solidity
00:00 Introducción
01:00 Comenzando con echidna
01:50 Prueba básica de echidna con testme.sol
03:00 Invariantes de echidna
05:45 Contrato inteligente objetivo Missing.sol
07:25 Llamando a echidna en Missing.sol
08:40 Echidna detecta el problema
09:05 Otros ejemplos interesantes de echidna
11:22 Profundizando
==== 💻 Capacitación en FuzzingLabs ====
==== 🦄 Únete a la comunidad ====
==== 📡 Redes Sociales ====
Palabras clave: Fuzzing, Pruebas de Fuzz, Ethereum, Solidity, ETH, contrato inteligente, fuzzer de EVM