PC-Lint
PC-lint is a commercial software linting tool produced by Gimpel Software for the C/C++ languages.
PC-lint is a command-line tool for performing static code analysis, indicating suspicious or plain wrong issues in source code. PC-lint can be integrated into IDEs as an external tool, and the format of the warning messages can be adapted to the form the IDE is able to recognize and process. It is advertised as running on Microsoft Windows and OS/2. A separate multi-platform version called FlexeLint is also available for Unix and other platforms, albeit at substantially greater cost.
PC-lint can be used for quality assurance of C source code and checking the code for conformance to coding guidelines such as MISRA C or MISRA C++.[1] It also includes checks for problems unique to parallel programs built on POSIX threads.[2]
Post Processing
The output of PC-lint can be used by additional tools to generate reports and to present the warnings in a more accessible form.[3]
The ALOA engine was originally released for free by Ralf Holly (approxion.com) and now resides at Sourceforge, providing regression reporting comparing multiple runs of lints.
Visual Lint provides IDE integration as well as help to understand PC-Lint messages and customizable reports of the lint warnings.
See also
List of tools for static code analysis
References
- ↑ MISRA conformance checking, PC-lint/FlexeLint, Gimpel Software.
- ↑ Andrey Karpov (June 2009). "Parallel Lint". Dr.Dobb's Journal.
- ↑ Jon Zyzyck (February 2003). "A Report Generator for PC-Lint". Dr.Dobb's Journal.
External links
- Company Website - Gimpel Software
- commercial IDE integration Visual Lint
- ALOA open source regression product for comparing lint runs
- An Introduction To PC-lint Presentation