
0
Facebook Inferは静的分析ツールです。InferにObjective-C、Java、またはCコードを渡すと、潜在的なバグのリストが生成されます。
ウェブサイト:
http://fbinfer.com/カテゴリー
商用ライセンスを使用するGCC C Preprocessor (cpp)のInferの代替

15
PVS-Studio
PVS-Studioは、C、C ++、C#アプリケーションのソースコードのエラーを検出する静的アナライザーです。