Code Analysis tools can examine your source code and find problems before your users find them at run time. The types of problems covered include memory leaks, inefficiencies and inconsistencies. Some of these products can also help you to understand your code better by performing cross-referencing of variables and classes.

Java Code Analysis Tools by Software Verification Ltd

Coverage Validator V2.24

Coverage Validator provides automatic source code coverage analysis of applications as they run. There is no need to recompile or relink your application. It works with debug information and/or MAP files. You can perform coverage analysis on your entire application, or on just the DLLs you require. You can also prevent files from being instrumented. This makes Coverage Validator an excellent tool for use in unit testing, where you need to check that all possible code paths have been taken.

Java Coverage Validator V1.34

Java Coverage Validator provides automatic source code coverage analysis of applications as they run. There is no need to recompile or relink your application. JCV works with debug information. You can perform coverage analysis on your entire application, or on just the packages and classes you require. You can also prevent files from being instrumented. Java Coverage Validator is an excellent tool for use in unit testing, where you need to check that all possible code paths have been taken.

JavaScript Coverage Validator V1.22

JavaScript Coverage Validator provides automatic source code coverage analysis of applications as they run. You can perform coverage analysis on your entire application, or on just the files/URLs and classes you require. You can also prevent files from being instrumented. JavaScript Coverage Validator is an excellent tool for use in unit testing, where you need to check that all possible code paths have been taken.

Lua Coverage Validator V1.14

Lua Coverage Validator provides automatic source code coverage analysis of applications as they run. You can perform coverage analysis on your entire application, or on just the files and classes you require. You can also prevent files from being instrumented. Lua Coverage Validator is an excellent tool for use in unit testing, where you need to check that all possible code paths have been taken.

Python Coverage Validator V1.28

Python Coverage Validator provides automatic source code coverage analysis of applications as they run. You can perform coverage analysis on your entire application, or on just the files/URLs and classes you require. You can also prevent files from being instrumented. Python Coverage Validator is an excellent tool for use in unit testing, where you need to check that all possible code paths have been taken.

Ruby Coverage Validator V1.28

Ruby Coverage Validator provides automatic source code coverage analysis of applications as they run. You can perform coverage analysis on your entire application, or on just the files/URLs and classes you require. You can also prevent files from being instrumented. Ruby Coverage Validator is an excellent tool for use in unit testing, where you need to check that all possible code paths have been taken.

Java Code Analysis Tools by Red-Gate Software

Exception Hunter V1.0

Until now, developers have had to wait until an error happened to find out which method throws which exceptions. Exception Hunter is a new analysis tool that finds and reports the set of possible exceptions your functions might throw. With it, you can locate unhandled exceptions easily and quickly, down to the line of code that is throwing the exceptions.

Java Code Analysis Tools by Heaventools Software

PE Explorer 1.99 R2

PE Explorer Disassembler utilizes a qualitative algorithm designed to reconstruct the assembly language source code of target binary win32 PE files (EXE, DLL, OCX) with the highest degree of accuracy possible.

Java Code Analysis Tools by Atlassian Software Systems

Clover V2.1 -  Clover is a Code Coverage Analysis application developed by Atlassian Software Systems. Although Clover is a commercial product, it is freely available to open source projects and non-profit institutions.

Crucible V1.5 -  Crucible makes it easy to review code changes, make comments, and record outcomes in an efficient, distributed, and process-neutral way.

Java Code Analysis Tools by Parasoft

Parasoft Insure++ V7.1 -  An automated run-time C/C++ application testing product that detects elusive errors such as memory corruption, memory leaks, memory allocation errors, variable initialization errors, variable definition conflicts, pointer errors, library errors, logic errors, and algorithmic errors.