SonarLint is an open source extension that provides on-the-fly feedback to developers on new bugs and quality issues injected into C# code. SonarLint works with Visual Studio, Eclipse and IntelliJ IDEA.

CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.

jQAssistant is an open source java QA tool which allows the definition and validation of project specific rules on a structural level. It is built upon the graph database Neo4j and can easily be plugged into the build process to automate detection of constraint violations and generate reports about user defined concepts and metrics.

CLion is a smart cross-platform C and C++ editor. Thanks to native C and C++ support, including C++11 standard, libc++ and Boost, CLion knows your code through and through and takes care of the routine while you focus on the important things. With CLion, you can create code that's beautiful and correct at the same time. Potential code issues are identified instantly and fixed as you type! Be sure all the proper changes are handled automatically by CLion. CLion also performs Data Flow analysis to find out all the cases of the unreachable code, infinite recursion and more.

Flow is an open source static type checker, designed to quickly find errors in JavaScript applications. The goal of Flow is to find errors in JavaScript code with little programmer effort. Flow relies heavily on type inference to find type errors even when the program has not been annotated - it precisely tracks the types of variables as they flow through the program. At the same time, Flow is a gradual type system. Any parts of your program that are dynamic in nature can easily bypass the type checker, so you can mix statically typed code with dynamic code. Flow also supports a highly expressive type language. Flow types can express much more fine-grained distinctions than traditional type systems. For example, Flow helps you catch errors involving null, unlike most type systems.

JSHint-Eclipse integrates JSHint, a popular code quality checker for JavaScript, into the Eclipse IDE. This extension can be used to validate JavaScript files in Eclipse. Every problem found by JSHint is represented by a warning marker. The Problems view in Eclipse provides an overview of all problems found in a particular project. As usual in Eclipse, files are validated automatically when they change.

RuboCop is a Ruby static code analyzer. Out of the box it will enforce many of the guidelines outlined in the community Ruby Style Guide. Most aspects of its behavior can be tweaked via various configuration options. Apart from reporting problems in your code, RuboCop can also automatically fix some of the problems for you.

With JavaScript Lint, you can check all your JavaScript source code for common mistakes without actually running the script or opening the web page. JavaScript Lint holds an advantage over competing lints because it is based on the JavaScript engine for the Firefox browser. This provides a robust framework that can not only check JavaScript syntax but also examine the coding techniques used in the script and warn against questionable practices.