Cppcheck

Cppcheck is an static analysis tool for C/C++ code. Unlike C/C++ compilers and many other analysis tools it does not detect syntax errors in the code. Cppcheck primarily detects the types of bugs that the compilers normally do not detect.

Free Open Source Windows Linux

PVS-Studio

PVS-Studio is a static analyzer that detects errors in source code of C, C++ and C# applications.

Commercial Windows Linux Microsoft Visual Studio MinGW GCC C Preprocessor (cpp) clang

Coverity Scan

Coverity Scan Static Analysis allows to find and fix defects in your Java, C/C++ or C# open source project for free. It tests every line of code and potential...

Freemium Mac OS X Windows Linux BSD Web

lgtm.com

lgtm.com is a platform for code analytics. It's free to use for open source software; results for over 55k projects are readily available (add your own!), has...

Free Web

Infer

Facebook Infer is a static analysis tool - if you give Infer some Objective-C, Java, or C code, it produces a list of potential bugs.

Free Open Source Linux

VisualCodeGrepper

VCG is an automated code security review tool that handles C/C++, Java, C#, VB and PL/SQL.

Free Open Source Windows