pc-lint plus support
Real-Time Event Frameworks based on active objects & state machines
Brought to you by:
quantum-leaps
Add support for pc-lint plus.
pc-lint 9 / flexelint is no longer supported by gimple. Their new version (pc-lint plus) generally works with lint 9 files. But many of the message numbers have been changed especially surrounding MISRA checks. The current qpc.lnt file doesn't work any more and a new lint configuration file is needed.
Anonymous
Yes, Gimpel Software has discontinued PC-Lint 9.x and replaced it with PC-Lint Plus. However, the new PC-Lint Plus comes with much more complex and expensive licensing, which renders the tool much harder to use. Therefore, since this change we've been looking for alternative static analysis tools.
So, the questions to the community are:
--MMS
I agree that the licensing for PC-Lint has become more awkware for individuals, I think it has become simpler and more attractive for businesses. That, and it is hard to beat how good PC-Lint is.
I'm trying to obtain a license for PC-Lint Plus for Quantum Leaps from Gimpel. We'll see how it goes, because obviously this is necessary for us to use and support this static analysis tool.
--MMS
QP/C/C++/nano 6.8.0 contain the PC-Lint-Plus "port" (see directory
ports/lint-plus). Also, the examples of "linting" the applications are updated for PC-Lint-Plus.--MMS