PC-Lint
| Developer(s) | Gimpel Software |
|---|---|
| Operating system | Microsoft Windows & OS/2 |
| Type | static code analysis of C/C code |
| Website | pclintplus |
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 or 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
[edit]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 and now resides at GitHub, 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.[4]
Linticator integrates PC-lint into the Eclipse C/C Development Tooling to provide live feedback in the editor and to generate configuration files and suppression markers for PC-Lint.
See also
[edit]References
[edit]- ^ MISRA conformance checking, PC-lint/FlexeLint.
- ^ Andrey Karpov (June 2009). "Parallel Lint". Dr.Dobb's Journal.
- ^ Jon Zyzyck (February 2003). "A Report Generator for PC-Lint". Dr.Dobb's Journal.
- ^ "Riverblade - Visual Lint Benefits and Features".
External links
[edit]- Company Website - Gimpel Software
- Commercial IDE integration Visual Lint
- ALOA open source regression product for comparing lint runs
- An Introduction To PC-lint Presentation, by Ralf Holly, v1.20, Feb. 9, 2014.