Showing results for Static Analysis - .NET Blog

Nov 14, 2024
Post comments count0
Post likes count2

Nullable Reference Types in F# 9

RNDr. Tomáš Grošup, Ph.D.
RNDr. Tomáš Grošup, Ph.D.

Read about latest F# 9 feature, Nullable Reference Types

.NETF#Static Analysis
Jun 5, 2024
Post comments count4
Post likes count2

MSTest 3.4 is here with WinUI support and new analyzers!

Amaury Levé Marco Rossignoli
Amaury,
Marco

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

.NET.NET Framework.NET Aspire
Nov 18, 2021
Post comments count12
Post likes count0

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

Xin Shi
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.

.NET.NET CoreStatic Analysis
Dec 8, 2020
Post comments count10
Post likes count0

Infer#: Interprocedural Memory Safety Analysis For C#

Xin Shi
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.

.NET.NET CoreC#