Showing category results for Static Analysis

Nov 14, 2024
Post comments count0
Post likes count2

Nullable Reference Types in F# 9

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

Read about latest F# 9 feature, Nullable Reference Types

.NETF#Static Analysis
Nov 18, 2021
Post comments count12
Post likes count0

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

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

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#