PC-Lint

A separate multi-platform version called FlexeLint is also available for Unix and other platforms, albeit at substantially greater cost.

[1] It also includes checks for problems unique to parallel programs built on POSIX threads.

[2] 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.

[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.