Subiecte populare
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Fuzz-ul este tot ce se vorbește de la hack-ul YETH (cel puțin în mintea mea) - @claudeai scris testul perfect de fuzz pentru Foundry și a descoperit un caz limită pe care un întreg set masiv de teste l-a ratat
invariantul este simplu: 'sum(trove debts) >= total_debt', altfel 'total_debt' poate deveni negativ dacă toate trove-urile se rambursează, făcând imposibilă închiderea ultimului trove
Captură de ecran a testului fuzz atașată și link către test în primul comentariu, pentru comoditatea ta
Spune-i lui Claude să verifice codul!

Limită superioară
Clasament
Favorite
