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 20 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,995587 € 0,66%
aave
Aave (AAVE) 79,43 € 1,63%
the-graph
The Graph (GRT) 0,123581 € 6,43%
kusama
Kusama (KSM) 33,27 € 1,95%
waves
Waves (WAVES) 2,51 € 4,00%
dash
Dash (DASH) 58,01 € 7,34%
bitcoin
Bitcoin (BTC) 21.235,19 € 0,55%
ethereum
Ethereum (ETH) 1.519,48 € 1,70%
cardano
Cardano (ADA) 0,361041 € 1,13%
tether
Tether (USDT) 0,923410 € 0,04%
xrp
XRP (XRP) 0,371868 € 1,04%
solana
Solana (SOL) 21,44 € 0,28%
polkadot
Polkadot (DOT) 6,12 € 1,44%
usd-coin
USD Coin (USDC) 0,923427 € 0,12%
dogecoin
Dogecoin (DOGE) 0,084694 € 0,57%
uniswap
Uniswap (UNI) 6,30 € 0,42%
terra-luna
Terra Luna Classic (LUNC) 0,000172 € 3,79%
litecoin
Litecoin (LTC) 90,30 € 2,82%
chainlink
Chainlink (LINK) 6,46 € 1,10%
bitcoin-cash
Bitcoin Cash (BCH) 124,00 € 0,77%
algorand
Algorand (ALGO) 0,241897 € 3,54%
matic-network
Polygon (MATIC) 1,13 € 2,56%
stellar
Stellar (XLM) 0,084131 € 0,84%
cosmos
Cosmos Hub (ATOM) 13,36 € 0,49%
filecoin
Filecoin (FIL) 4,83 € 0,84%
tron
TRON (TRX) 0,058902 € 0,47%
ethereum-classic
Ethereum Classic (ETC) 20,85 € 0,14%
dai
Dai (DAI) 0,923550 € 0,06%
tezos
Tezos (XTZ) 1,08 € 1,28%
monero
Monero (XMR) 154,54 € 0,66%