Infer powering Microsoft’s Infer#, a new static analyzer for C#

This post details the extension of Meta's Infer static analysis platform to support C# through Infer#. This involves creating a new language front end for C# that compiles .NET bytecode to Infer's intermediate language (SIL), and introducing a language-independent JSON layer for SIL, paving the way for future language support. It highlights Infer#'s ability to find deep inter-procedural bugs in C# code, similar to what Infer does for Java and C++.