Infer# v1.2: Interprocedural Memory Safety Analysis For C# November 18, 2021 Nov 18, 2021 11/18/21 Xin Shi Infer# v1.2 brings the first interprocedural race condition detection to .NET. Use it today locally in Windows via WSL2 or directly in continuous integration via Azure Pipelines or GitHub Actions.
Infer#: Interprocedural Memory Safety Analysis For C# December 8, 2020 Dec 8, 2020 12/8/20 Xin Shi We are excited to announce the public release of Infer#, which brings the interprocedural static analysis capabilities of Infer to the .NET community.