PC-lint is a commercial software
linting
Lint, or a linter, is a static code analysis tool used to flag programming errors, bugs, stylistic errors and suspicious constructs. The term originates from a Unix utility that examined C language source code.
History
Stephen C. Johnson, a co ...
tool produced by Gimpel Software (formerly Gimp Suit Software Ltd.) for the
C/
C++
C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...
languages.
PC-lint is a command-line tool for performing
static code analysis
In computer science, static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
The term i ...
, indicating suspicious or plain wrong issues in source code. PC-lint can be integrated into
IDEs Ides or IDES may refer to:
Calendar dates
* Ides (calendar), a day in the Roman calendar that fell roughly in the middle of the month. In March, May, July, and October it was the 15th day of the month; in other months it was the 13th.
**Ides of Mar ...
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
MISRA C is a set of software development guidelines for the C programming language developed by The MISRA Consortium. Its aims are to facilitate code safety, security, portability and reliability in the context of embedded systems, specifically ...
or MISRA C++. It also includes checks for problems unique to parallel programs built on
POSIX threads
POSIX Threads, commonly known as pthreads, is an execution model that exists independently from a language, as well as a parallel execution model. It allows a program to control multiple different flows of work that overlap in time. Each flow of ...
.
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.
The ALOA engine was originally released for free by Ralf Holly and now resides at
GitHub
GitHub, Inc. () is an Internet hosting service for software development and version control using Git. It provides the distributed version control of Git plus access control, bug tracking, software feature requests, task management, continuous ...
, 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.
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
*
List of tools for static code analysis
This is a list of notable tools for static program analysis (program analysis is a synonym for code analysis).
Static code analysis tools
Languages
Ada
*
*
*
*
*
*
*
*
*
*
*
C, C++
*
*
*
*
*
*
*
*
*
*
*
* ...
References
{{reflist
External links
* Company Website
Gimpel Software* Commercial IDE integratio
ALOAopen source regression product for comparing lint runs
An Introduction To PC-lintPresentation, by Ralf Holly, v1.20, Feb. 9, 2014.
Static program analysis tools