microsoft/infersharp

Infer# 是一個針對 C# 的跨程序且具可擴展性的靜態程式碼分析器。透過 Facebook 的 Infer 能力，此工具可偵測空指標參照、資源洩漏與執行緒安全性違規，亦可進行汙染資料流追蹤以偵測 SQL 隱碼攻擊等重大安全性漏洞。