#infer

为Microsoft Infer＃（适用于C＃的新静态分析器）提供动力
Infer powering Microsoft’s Infer#, a new static analyzer for C#(engineering.fb.com)
2020-12-15 8:39
Infer＃为使用Microsoft C＃编程语言的开发人员带来了Infer静态分析平台。借助双向诱拐分析，它已经可以检测到空指针取消引用和资源泄漏错误。基于RacerD分析的比赛条件检测也在进行中。 Infer＃已用于分析Microsoft软件，包括Roslyn，DotNET SDK，ASP.NET Core和MS......