|Visual Lint Analysis Tools|
Visual Lint 3.0 currently supports the following static code analysis tools:
Support for TICS Basic for C# (formerly ClockSharp) is under development.
If there is a particular analysis tool you would like to see supported in Visual Lint please contact us.
PC-lint and PC-lint Plus
Visual Lint supports the industry standard PC-lint 9.0 and PC-lint Plus C/C++ static analysis tool by Gimpel Software. Both will thoroughly check your C/C++ source code for bugs, glitches, inconsistencies, non-portable constructs, and much more, so you can find and fix bugs much more quickly than with traditional debugging techniques. It is a command line code analysis tool which can be configured to support a wide variety of compilers and development environments.
Among the many capabilities of PC-lint and PC-lint Plus are:
In the many years since PC-lint was first released in 1985, numerous enhancements have been made to the original product. These include major language enhancements such as C++ support in 1993, and also many ground breaking innovations in static analysis. PC-lint 9.0 continued this tradition by adding ground breaking capabilities such as analysis of thread behaviour, highly capable variable tracking and support for precompiled headers.
PC-lint Plus is the successor product to PC-lint 9.0, and uses the industry standard Clang front end and is designed for the analysis of modern C++ (C++ 11/14/17 and beyond) codebases. Please see http://www.gimpel.com/html/index.htm or contact us for details.
CppCheck is an open source C++ analysis tool, and may therefore be freely downloaded. Although not as established as PC-lint, it is evolving rapidly so if you are new to C++ analysis it is definitely worth trying out.
Among the capabilities of CppCheck are:
cpplint.py is the Google C++ Style Checker. Although a style checker rather than a static analysis tool, this script complements the Google C++ Style Guide.
As the style checker is implemented as a Python script, you will need a compatible Python installation (we recommend v2.7) in order to run it.
Vera++ is a programmable tool for verification, analysis and transformation of C++ source code. It is published as open source software under the Boost Software Licence, and may therefore be freely downloaded.
Vera++ is unusual among established static analysis tools in that it allows you to write your own rules. As such, if you are looking to check code against a custom ruleset this is a tool you should probably be aware of.
FxCop is Microsoft's static analysis tool for .NET assemblies. Visual Lint currently supports this tool for the analysis of C# projects, but in due course this will be extended to include other .NET project types such as C++/CLI and VB.NET.
FindBugs is an open source Java static analysis tool which can analyse either individual Java source files or complete Java projects.