PC-lint

PC-lint is a powerful static analysis tool that checks your C/C++ source code and find bugs, glitches, inconsistencies, non-portable constructs, redundant code, and much more. It looks across multiple modules and therefore can address more issues than a compiler. PC-lint supports MISRA (Motor Industry Software Reliability Association) standards. MISRA is a collaboration between vehicle manufacturers, component suppliers and engineering consultancies with the goal to promote best practice in developing safety-related electronic systems in road vehicles.

PC-lint supports the folowing MISRA standards

  • MISRA C (1998)
  • MISRA C (2004)
  • MISRA C (2012)
  • MISRA C++ (2008)