Scan
Find the bugs in your code.
AI and researcher-led reviews, priced per 10,000 lines of code.
See pricing →function withdraw(uint amt) external { require(bal[msg.sender] >= amt); msg.sender.call{value: amt}(""); bal[msg.sender] -= amt;}Money goes out before the balance updates. An attacker can drain the vault.

