In this video, I will show how to find vulnerability inside an Ethereum smart contract written in Solidity using echidna, one of the only Ethereum smart contract fuzzer.
#Fuzzing #Ethereum #Solidity
00:00 Introduction
01:00 Get started with echidna
01:50 Basic test with testme.sol
03:00 Invariants
05:45 Missing.sol smart contract target
07:25 Calling echidna on Missing.sol
08:40 Detect the issue
09:05 Other interesting examples
11:22 Going deeper
