Static Analysis

.NET Blog

Free. Cross-platform. Open source. A developer platform for building all your apps.

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.

Feedback

.NET Blog

Static Analysis - .NET Blog

Infer# v1.2: Interprocedural Memory Safety Analysis For C#

Infer#: Interprocedural Memory Safety Analysis For C#

Relevant Links

.NET Application Architecture Guides

Archive

Topics