GitHub repository: livinlife6751/infer
Primary language: HTML
Description: A static analyzer for Java, C, C++, and Objective-C