Infer#: Interprocedural Memory Safety Analysis For C# | .NET Blog

Xin "The refinement of techniques for the prompt discovery of error serves as well as any other as a hallmark of what we mean by science." : -J. Robert Oppenheimer We are excited to announce the public release of Infer#, which brings the interprocedural static analysis capabilities of Infer to the .NET community.