Static analysis for Anchor Rust programs.

Identify security issues in Rust smart contracts with a powerful Python-based rule engine. Automate detection of vulnerabilities effortlessly.