infer

Infer＃为使用Microsoft C＃编程语言的开发人员带来了Infer静态分析平台。借助双向诱拐分析，它已经可以检测到空指针取消引用和资源泄漏错误。基于RacerD分析的比赛条件检测也在进行中。 Infer＃已用于分析Microsoft软件，包括Roslyn，DotNET SDK，ASP.NET Core和MS......