Infer# — инструмент для межпроцедурного статического анализа для C#
https://devblogs.microsoft.com/dotnet/infer-v1-2-interprocedural-memory-safety-analysis-for-c/
#infer
https://devblogs.microsoft.com/dotnet/infer-v1-2-interprocedural-memory-safety-analysis-for-c/
#infer
Microsoft News
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.