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