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

added by DotNetKicks
12/9/2020 12:59:18 AM

990 Views

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.


0 comments