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

Infer# v1.2 brings the first interprocedural race condition detection to .NET, use it today locally in Windows.
November 21, 2021
548
440