GitHub repository: Auditware/radar
Primary language: Python
Description: A static analysis tool for anchor rust programs.