Fuzzer-ul lui Wake este diferit de oricare altul. Exemplu: fuzzerele aleatorii ratează complet corupția stării în scenarii DeFi cu mai mulți pași. Hai să intrăm în subiect ↓
2/ Abordarea ghidată a lui Wake în practică: → Definiți fluxuri realiste: depuneți → împrumutați → lichidați cu constrângeri corespunzătoare → Invarianții Python verifică "total supply == suma soldurilor" după fiecare tranzacție → Testarea Mainnet cu Uniswap/Aave live fără a implementa
166