PC-Lint
{{Short description|Commercial software linting tool for C/C++ languages}}
{{Infobox software
| name =
| logo =
| logo caption =
| logo alt =
| logo size =
| collapsible =
| screenshot =
| screenshot size =
| screenshot alt =
| caption =
| other_names =
| author =
| developer = Gimp Suit Software Ltd., later Gimpel Software
| released =
| ver layout =
| discontinued =
| latest release version =
| latest release date =
| latest preview version =
| latest preview date =
| repo =
| qid =
| programming language =
| middleware =
| engine =
| operating system = Microsoft Windows & OS/2
| platform =
| included with =
| replaces =
| replaced_by =
| service_name =
| size =
| standard =
| language =
| language count =
| language footnote =
| genre = static code analysis of C/C++ code
| license =
| website = {{official URL}}
| AsOf =
}}
PC-lint is a commercial software linting tool produced by Gimpel Software (formerly Gimp Suit Software Ltd.) 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++.[https://pclintplus.com/coding-standards/misra-general/ MISRA conformance checking, PC-lint/FlexeLint.] It also includes checks for problems unique to parallel programs built on POSIX threads.{{cite web|url=http://www.drdobbs.com/go-parallel/article/showArticle.jhtml?articleID=218000153 |title=Parallel Lint |author=Andrey Karpov |date=June 2009 |publisher=Dr.Dobb's Journal}}
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.{{cite web|url=http://drdobbs.com/cpp/184405274 |title=A Report Generator for PC-Lint |author=Jon Zyzyck |date=February 2003 |publisher=Dr.Dobb's Journal}}
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.{{Cite web|url=http://www.riverblade.co.uk/products/visual_lint/features.html|title = Riverblade - Visual Lint Benefits and Features}}
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
References
{{reflist}}
External links
- Company Website - [http://www.gimpel.com/ Gimpel Software]
- Commercial IDE integration [http://www.riverblade.co.uk/products/visual_lint/index.html Visual Lint]
- [https://github.com/ralfholly/aloa ALOA] open source regression product for comparing lint runs
- [http://www.slideshare.net/ralfholly/an-introduction-to-pclint An Introduction To PC-lint] Presentation, by Ralf Holly, v1.20, Feb. 9, 2014.