infersharp

开源

Infer# 是一个适用于 C# 的跨过程和可扩展的静态代码分析器。通过 Facebook 的 Infer 功能，该工具可检测空指针引用、资源泄露和其他安全问题。

747 stars0 点赞0 次浏览

工具介绍

Infer# 是一个适用于 C# 的跨过程和可扩展的静态代码分析器。通过 Facebook 的 Infer 功能，该工具可检测空指针引用、资源泄露和其他安全问题。

InferSharp（也称为 Infer#）是一个用于 C# 的跨过程和可扩展的静态代码分析器。通过 Facebook 的 Infer 的功能，该工具可检测竞争条件、空指针引用和资源泄露。此外，它还进行污染流跟踪，以检测严重的安全漏洞，例如 SQL 注入。有关我们的方法，请参阅 Wiki 页面。

最新版本为 . 请参阅发行页面了解更多变更信息。