
infer
A static analyzer for Java, C, C++, and Objective-C
code-analysisdevsecopsstatic-analysis+1

A static analyzer for Java, C, C++, and Objective-C

A security focused static analysis tool for Android and Java applications.

Performant type-checking for python.