Top
image credit: Unsplash

Infer# Brings Facebook’s Infer Static Analyzer to C# and .NET

December 23, 2020

Via: InfoQ

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.

Read More on InfoQ