Infer: A static analyzer for Java, C, C++, and Objective-Cgithub.com/facebook3 pointsducktective5 years ago