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...

Free Open Source Windows Linux PortableApps.com Eclipse

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 Windows Linux Web BSD

PVS-Studio

PVS-Studio is a static analyzer that detects errors in source code of C, C++ and C# applications. The PVS-Studio tool is intended for developers of contemporary...

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

Flawfinder

Flawfinder examines source code and reports possible security weaknesses (``flaws'') sorted by risk level. It's very useful for quickly finding and removing...

Free Open Source Windows Linux

Splint

Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If...

• Discontinued Last version 3.1.2 is from August 2007.

Free Open Source Windows Linux

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

EDoC++

EDoC++ is a C++ source analysis tool designed to identify problems associated with the use of exceptions in C++ code. Additionally EDoC++ can be used to generate...

Free Open Source Windows

Clang Static Analyzer

The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs.

Free Open Source Mac Xcode

PC-lint

Gimpel Software PC-lint Plus, Flexible Static Analysis for C and C++ including MISRA Support

Commercial Mac Windows Linux

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