Smart contract security is critical for anyone interacting with DeFi. Reentrancy attacks, famously exploited in the 2016 DAO hack, occur when a contract makes an external call before updating its state. The checks-effects-interactions pattern prevents this vulne...