Cost / License
- Free
- Open Source (GPL-3.0)
Platforms
- Online
- Visual Studio Code
- Vim
- Sublime Text
- GNU Emacs
- Atom

Infer is described as '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' and is an app in the development category. There are more than 10 alternatives to Infer for a variety of platforms, including Windows, Linux, Mac, Web-based and BSD apps. The best Infer alternative is Shellcheck, which is both free and Open Source. Other great apps like Infer are Cppcheck, Coverity Scan, PVS-Studio and Flawfinder.

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.

Coverity Scan Static Analysis allows to find and fix defects in your Java, C/C++ or C# open source project for free.
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.



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.
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...
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 documentation
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.
Apache Yetus is a collection of libraries and tools that enable contribution and release processes for software projects.