Fuzzing Ethereum Smart Contract using Echidna – Blockchain Security #1

📥 Download source code and materials: https://academy.fuzzinglabs.com/introduction-to-ethereum-security?coupon=YOUTUBE

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

==== 💻 FuzzingLabs Training ====

C/C++ Whitebox Fuzzing: https://academy.fuzzinglabs.com/c-whitebox-fuzzing?coupon=youtube
Rust Security Audit and Fuzzing: https://academy.fuzzinglabs.com/rust-security-audit-and-fuzzing-training?coupon=youtube
WebAssembly Reversing and Dynamic Analysis: https://academy.fuzzinglabs.com/wasm-security-reversing-dynamic-analysis?coupon=youtube
Go Security Audit and Fuzzing: https://academy.fuzzinglabs.com/go-security-audit-and-fuzzing?coupon=youtube

==== 🦄 Join the community ====

https://academy.fuzzinglabs.com/fuzzing-labs-community

==== 📡 Socials ====

– Twitter: https://twitter.com/FuzzingLabs
– Telegram: https://t.me/fuzzinglabs

(Visited 51 times, 1 visits today)

You might be interested in

LEAVE YOUR COMMENT

Your email address will not be published. Required fields are marked *

eos
EOS (EOS) 0,789568 2,32%
aave
Aave (AAVE) 89,05 1,08%
the-graph
The Graph (GRT) 0,279187 1,83%
kusama
Kusama (KSM) 30,78 1,73%
waves
Waves (WAVES) 2,46 0,51%
dash
Dash (DASH) 29,60 0,37%
bitcoin
Bitcoin (BTC) 62.459,26 0,30%
ethereum
Ethereum (ETH) 3.022,89 1,18%
cardano
Cardano (ADA) 0,472853 2,21%
tether
Tether (USDT) 0,938571 0,05%
xrp
XRP (XRP) 0,519022 0,32%
solana
Solana (SOL) 148,42 2,89%
polkadot
Polkadot (DOT) 6,92 0,94%
usd-coin
USDC (USDC) 0,938630 0,02%
dogecoin
Dogecoin (DOGE) 0,151335 1,07%
uniswap
Uniswap (UNI) 7,52 0,34%
terra-luna
Terra Luna Classic (LUNC) 0,000105 1,72%
litecoin
Litecoin (LTC) 79,71 0,69%
chainlink
Chainlink (LINK) 14,25 1,09%
bitcoin-cash
Bitcoin Cash (BCH) 475,79 1,21%
algorand
Algorand (ALGO) 0,181223 0,60%
matic-network
Polygon (MATIC) 0,688710 0,33%
stellar
Stellar (XLM) 0,109317 0,62%
cosmos
Cosmos Hub (ATOM) 8,20 1,54%
filecoin
Filecoin (FIL) 6,10 0,07%
tron
TRON (TRX) 0,106471 1,32%
ethereum-classic
Ethereum Classic (ETC) 26,43 0,23%
dai
Dai (DAI) 0,938630 0,03%
tezos
Tezos (XTZ) 0,992132 0,57%
monero
Monero (XMR) 114,96 1,01%