Infer

Facebook Infer یک ابزار تجزیه و تحلیل استاتیک است - اگر کد های Objective-C ، Java یا C را به اینفر بدهید ، لیستی از اشکالات احتمالی را ایجاد می کند.

گزینه های Infer برای GCC C Preprocessor (cpp) با مجوز تجاری

PVS-Studio یک آنالایزر استاتیک است که خطاهای موجود در کد منبع برنامه های C ، C ++ و C # را تشخیص می دهد.