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

added by DotNetKicks
11/18/2021 3:09:27 PM

317 Views

Xin Last December, we announced the public preview release of Infer#, which brings the interprocedural static analysis of Infer to the .NET community. The project was open sourced on GitHub under an MIT license. Infer# 1.2 brings race condition detection, improves performance, provides more ways to use, and expands analysis coverage.


0 comments