sentri-analyzer-solana 0.2.1

Sentri: Solana program analyzer with static analysis and invariant checking for Anchor and native Solana programs.
Documentation