Infer Static Analyzer | Infer | Infer

A tool to detect bugs in Java and C/C++/Objective-C code before it ships

C, C++, and iOS/Objective-C. Infer checks for null pointer dereferences, memory leaks, coding conventions and unavailable API's.