PC-lint static analysis tool

PC-lint by Gimpel Software. The manual [7] states that:

PC-lint finds

• quirks
• idiosyncrasies
• glitches
• bugs

..in C and C++ programs..

• To reveal unusual constructs
• Looks across several modules
• Normally much fuzzier than a compiler wants to be

PC-lint commands - insert specific PC-lint filters

• global
• file
• name (function, variable etc.)
• code block
• single lines

Also direct filters in files

• occam2c.h
• occam2c.c
• In occam source files
  #C //lint ...