Le fuzzer de Wake est unique en son genre. Exemple : des fuzzers aléatoires passent complètement à côté de la corruption d’état dans des scénarios DeFi à plusieurs étapes. Plongeons dans le vif ↓

2/ L’approche guidée de Wake en pratique : → Définir des flux réalistes : déposer → emprunter → liquider avec des contraintes appropriées → Les invariants Python vérifient « total supply == somme des soldes » après chaque transaction → Forking du mainnet en testant avec Uniswap/Aave en ligne sans déployer