Real-time vulnerability detection for Solana smart contracts
Function `withdraw()` vulnerable to reentrancy attacks
Arithmetic operations without overflow protection
Analyzing Smart Contract...