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 27 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,840025 € 2,15%
aave
Aave (AAVE) 62,81 € 3,29%
the-graph
The Graph (GRT) 0,113749 € 2,37%
kusama
Kusama (KSM) 24,08 € 2,48%
waves
Waves (WAVES) 1,66 € 0,32%
dash
Dash (DASH) 40,40 € 3,04%
bitcoin
Bitcoin (BTC) 25.716,26 € 3,15%
ethereum
Ethereum (ETH) 1.727,58 € 1,52%
cardano
Cardano (ADA) 0,351428 € 2,98%
tether
Tether (USDT) 0,931850 € 0,02%
xrp
XRP (XRP) 0,446857 € 1,68%
solana
Solana (SOL) 19,34 € 3,91%
polkadot
Polkadot (DOT) 5,11 € 2,95%
usd-coin
USD Coin (USDC) 0,931499 € 0,01%
dogecoin
Dogecoin (DOGE) 0,067957 € 1,35%
uniswap
Uniswap (UNI) 4,72 € 0,89%
terra-luna
Terra Luna Classic (LUNC) 0,000082 € 0,95%
litecoin
Litecoin (LTC) 84,21 € 2,07%
chainlink
Chainlink (LINK) 6,08 € 1,50%
bitcoin-cash
Bitcoin Cash (BCH) 106,74 € 0,80%
algorand
Algorand (ALGO) 0,141281 € 0,25%
matic-network
Polygon (MATIC) 0,866831 € 1,05%
stellar
Stellar (XLM) 0,082137 € 0,47%
cosmos
Cosmos Hub (ATOM) 10,09 € 3,19%
filecoin
Filecoin (FIL) 4,27 € 1,97%
tron
TRON (TRX) 0,071562 € 0,32%
ethereum-classic
Ethereum Classic (ETC) 17,07 € 0,98%
dai
Dai (DAI) 0,931850 € 0,08%
tezos
Tezos (XTZ) 0,854509 € 1,96%
monero
Monero (XMR) 144,99 € 3,02%