microsoft/infersharp

C#向けのプロシージャ間およびスケーラブルな静的コードアナライザー、Infer#。FacebookのInferの機能により、NULL参照、リソースリーク、スレッドセーフティ違反を検出します。また、SQLインジェクションなどの重大なセキュリティ脆弱性を検出するための汚染フロー追跡も実行します。