Neste vídeo, vou mostrar como encontrar vulnerabilidades dentro de um contrato inteligente Ethereum escrito em Solidity usando o echidna, um dos únicos fuzzers de contratos inteligentes Ethereum.
#Fuzzing #Ethereum #Solidity
00:00 Introdução
01:00 Começando com echidna
01:50 Teste básico de echidna com testme.sol
03:00 Invariantes do echidna
05:45 Contrato inteligente Missing.sol alvo
07:25 Chamando echidna em Missing.sol
08:40 Echidna detecta o problema
09:05 Outros exemplos interessantes do echidna
11:22 Aprofundando-se
==== 💻 Treinamento FuzzingLabs ====
==== 🦄 Junte-se à comunidade ====
==== 📡 Redes Sociais ====
Palavras-chave: Fuzzing, Teste de Fuzz, Ethereum, Solidity, ETH, contrato inteligente, fuzzer EVM