Infer is a static analysis tool open-sourced by Facebook in 2015. It supports Java and C/C++/Objective-C code and is able to detect a number of potential issues, including null pointer exceptions, resource leaks, annotation reachability, missing lock guards, and concurrency race conditions in Android and Java code; and null pointer dereferences, memory leaks, coding conventions, and unavailable API’s for languages belonging to the C-family.

Infer## is not the only static analyzer available for .NET, says Microsoft senior software engineer Xin Shi. However, Infer## brings unique capabilities to the .NET platform. What sets Infer## apart is its focus on cross-function analysis, which is not found in other analyzers, and incremental analysis.

#.net #memory leaks #c# #static analysis #development #news