A simple tool for finding bugs in shell scripts.
- - Shellcheck is the most popular Web-based alternative to Infer.
- - Shellcheck is the most popular Open Source & free alternative to Infer.
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.
Suggest and vote on features
- - Cppcheck is the most popular Windows & Linux alternative to Infer.
Coverity Scan Static Analysis allows to find and fix defects in your Java, C/C++ or C# open source project for free.
- - Coverity Scan is the most popular Mac alternative to Infer.
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 applications and it integrates into the Visual Studio 2005/2008/2010/2012/2013 environment.
- - PVS-Studio is the most popular commercial alternative to Infer.
Flawfinder examines C/C++ source code and reports possible security weaknesses ("flaws'') sorted by risk level. It's very useful for quickly finding and removing at least some potential security problems before a program is widely released to the public.Suggest and vote on features
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 additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done...Discontinued
Last version 3.1.2 is from August 2007.
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 automatic code review pull request integration (GitHub, Bitbucket, GitLab), and much more.
VCG is an automated code security review tool that handles C/C++, Java, C#, VB and PL/SQL. It has a few features that should hopefully make it useful to anyone conducting code security reviews, particularly where time is at a premium:
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 detailed documentationSuggest and vote on features
The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs.
Parasoft’s C/C++test is the fully-integrated software testing solution for embedded safety-critical industries. Its automated software testing capabilities are also made for today’s high-velocity Agile DevOps environments.Suggest and vote on features
Parasoft C/C++test Features
Apache Yetus is a collection of libraries and tools that enable contribution and release processes for software projects. Portions are used by a wide variety of Apache projects, including Apache Hadoop and Apache HBase.Yetus has no features, suggest some!