Infer

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

نرم افزار رایگان
Linux

سایت اینترنتی:

http://fbinfer.com/

امکانات

دسته بندی ها

توسعه

گزینه های Infer برای همه سیستم عامل های دارای مجوز

Cppcheck

Cppcheck یک ابزار آنالیز استاتیک برای کد C / C ++ است.برخلاف کامپایلرهای C / C ++ و بسیاری از ابزارهای تحلیل دیگر ، خطاهای نحوی موجود در کد را تشخیص نمی دهد.

نرم افزار رایگان
PortableApps.com
Windows
Eclipse
Linux

PVS-Studio

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

Coverity Scan

تجزیه و تحلیل استاتیک پویش اسکن (Coverity Scan) به شما امکان می دهد نقص ها را در پروژه منبع باز جاوا ، C / C ++ یا C # خود به صورت رایگان پیدا کرده و برطرف کنید.

Freemium
Windows
Mac
Linux
Web
BSD

Splint

Splint ابزاری برای بررسی استاتیک برنامه های C برای آسیب پذیری های امنیتی و خطاهای کد نویسی است.با حداقل تلاش ، Splint می تواند به عنوان یک چوب بهتر استفاده شود.

نرم افزار رایگان
Windows
Linux

Flawfinder

Flawfinder کد منبع را بررسی کرده و نقاط ضعف امنیتی احتمالی ("نقص") را براساس سطح ریسک طبقه بندی می کند.

نرم افزار رایگان
Windows
Linux

lgtm.com بستری برای تجزیه و تحلیل کد است.استفاده از آن برای نرم افزار منبع باز رایگان است.نتایج بیش از 55K پروژه به آسانی در دسترس است (اضافه کردن خود را!) ، دارای یکپارچه سازی درخواست درخواست بازگرداندن کد (GitHub ، Bitbucket ، GitLab) و موارد دیگر است.

نرم افزار رایگان
Web

Clang Static Analyzer

Clang Static Analyzer ابزاری برای تجزیه و تحلیل کد منبع است که در برنامه های C ، C ++ و Objective-C اشکالاتی را پیدا می کند.

نرم افزار رایگان
Mac
Xcode

VisualCodeGrepper

Windows

EDoC++

EDoC ++ یک ابزار تجزیه و تحلیل منبع C ++ است که برای شناسایی مشکلات مرتبط با استفاده از استثنائات در کد C ++ طراحی شده است.

نرم افزار رایگان
Windows