GitHub repository: sthagen/ssca-c-cobra
Primary language: C
Description: An interactive (fast) static source code analyzer