Eclipse and PC-lint: Linticator

PC-lint from Gimpel has set the standard for static code analysis: it is used by many companies developing safety critical applications. Additionally PC-lint can check the MISRA rules which are standard for many coding guide lines. PC-lint has detected many subtle bugs in my sources. Thank you, PC-lint!

CodeWarrior classic provided a plugin for the PC-lint compiler: To bad that this does not exist in the eclipse based CodeWarrior. You might think that given PC-lint so popular, there should be an eclipse plugin available? Yes, there are many attempts on this: all of them did not work well enough for me. The good news: There is the Linticator eclipse plugin. The bad news: it is not for free.

The Linticator plugin has been developed at the IFS (Institute for Software) in Rapperswil/Switzerland. You can register at the linticator.com web site and you get a 30 day evaluation license.

Linticator nicely integrates into eclipse, and adds a new IDE menu:

Linticator Menu

Linticator Menu

Using a wizard, I can configure the different settings:

Flexe/PC-Lint configuration

Flexe/PC-Lint configuration

Enabling Linticator for a project is just a context menu away:

Enabling Linticator for a project

Enabling Linticator for a project

The plugin integrates into eclipse CDT as a builder:

Linticator Builder

Linticator Builder

Running Linticator on a project reports the PC-lint messages to the Problems View:

Problems View with Linticator messages from PC-lint

Problems View with Linticator messages from PC-lint

The source files show the proper markers. Ignoring a message is simple: Linticator comes with a plugin named ‘QuickFixes’. I can use the context menu to ignore a message:

Source with Problem

Source with Problem

This automatically inserts the comment to tell PC-lint to ignore that message:

Quickfix in Source

Quickfix in Source

To get an explanation on a message, I use the ‘Show Documentation’ context menu:

Show Documentation for a PC-lint Message

Show Documentation for a PC-lint Message

The Linticator plugin costs CHF 500 (~US$550). Yeah, that’s high compared to the US$390 for PC-lint itself. That’s a total of US$850 per user. On the other side: Linticator integrates PC-lint very nicely into eclipse. Or what is the price of one bug in my software?

Unfortunately, my 30 day evaluation license run out of time. Too bad! While trying to get the funds in my department to buy Linticator, I’ll explore other ways how to use PC-lint with eclipse.

Happy Linting 🙂

15 thoughts on “Eclipse and PC-lint: Linticator

  1. BTW, it is not that expensive, if you compare it to the license price of FlexeLint on Linux or other Unix-like systems including Mac OS X.

    Like

  2. Pingback: Linting without a plugin | MCU on Eclipse

  3. Pingback: Free Static Code Analysis with Eclipse | MCU on Eclipse

  4. I have PC-lint/FlexeLint version 8, but i don’t know how to get it to integrate with CodeWarrior version 10.5. Would you by any know of any resources available, or can you create a post on this topic ?

    Like

  5. Pingback: Open Source Static Code Analysis: Cppcheck with Eclipse | MCU on Eclipse

  6. Pingback: Linting with Eclipse and the GNU ARM Embedded Launchpad Compiler | MCU on Eclipse

  7. Hi Erich,
    I got registered with PC-Lint, got the license file too in mail. But how to get the binaries for PC-Lint, which has to be linked with Eclipse ? Can you please help in this aspect.
    Thanks in advance.

    regards,
    Amar

    Like

What do you think?

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.