GitHub repository: static-analysis-engineering/CodeHawk-C
Primary language: Python
Description: CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)