GitHub repository: Gecko-Security/gecko-stx
Primary language: Python
Description: The first static analyser to detect vulnerabilities in clarity code