microsoft/infersharp

Infer# 是一个针对 C# 的跨程序且具可扩展性的静态代码分析器。通过 Facebook 的 Infer 能力，此工具可检测空指针引用、资源泄漏与线程安全性违规，亦可进行污点数据流追踪以检测 SQL 注入等重大安全性漏洞。