GitHub repository: Flynis/cyrinx
Description: A tool for static C code analysis