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.

We are excited to announce the public release of Infer#, which brings the interprocedural static analysis capabilities of Infer to the .NET community.