0
          Facebook Inferは静的分析ツールです。InferにObjective-C、Java、またはCコードを渡すと、潜在的なバグのリストが生成されます。
            
            ウェブサイト:
http://fbinfer.com/カテゴリー
GCC C Preprocessor (cpp)のInferの代替
15
                PVS-Studio
PVS-Studioは、C、C ++、C#アプリケーションのソースコードのエラーを検出する静的アナライザーです。