010 GitHub stars
02Supports both native Rust Solana programs and the Anchor framework
03Detects 6 critical Solana-specific vulnerability patterns automatically
04Analyzes Cross-Program Invocation (CPI) for unvalidated program IDs
05Validates Program-Derived Address (PDA) implementations and seeds
06Checks for missing account ownership and signer validation logic