In diesem Video zeige ich, wie man Schwachstellen in einem Ethereum Smart Contract, der in Solidity geschrieben ist, mit echidna findet, einem der einzigen Fuzzer für Ethereum Smart Contracts.
#Fuzzing #Ethereum #Solidity
00:00 Einführung
01:00 Erste Schritte mit echidna
01:50 Grundlegender echidna-Test mit testme.sol
03:00 Echidna-Invarianten
05:45 Ziel des Smart Contracts Missing.sol
07:25 Aufruf von echidna auf Missing.sol
08:40 Echidna erkennt das Problem
09:05 Weitere interessante Beispiele von echidna
11:22 Tiefer eintauchen
==== 💻 FuzzingLabs Training ====
==== 🦄 Tritt der Community bei ====
==== 📡 Soziale Medien ====
Schlüsselwörter: Fuzzing, Fuzz Testing, Ethereum, Solidity, ETH, Smart Contract, EVM Fuzzer