Showing results for Static Analysis - .NET Blog

Read about latest F# 9 feature, Nullable Reference Types

MSTest 3.4 is available. Learn all about the highlighted features and fixes that will make your testing experience always better.

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.