With Infer#, Microsoft extends the choice of static analyzers available within the .NET ecosystem by bringing Facebook Infer’s inter-procedural static analysis capabilities to it.
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.