Keil Logo

PC-lint and MISRA Validation

PC-lint from Gimpel Software checks the syntax and semantic of C and C++ code, and reports possible bugs, inconsistencies, and locates unclear, erroneous, or invalid C code. PC-Lint could reduce debugging efforts considerably.

PC-lint can be configured as MISRA checker. µVision offers pre-configurations for the various MISRA C standards. Checking for certain MISRA rules can be easily adjusted using a MISRA rule configuration file.

PC-lint also provides extra benefits, as the checker is independent of the compiler. For safety critical applications this ensures that a flaw in the compiler diagnostics is covered by PC-Lint diagnostics. Also the diagnostics messages are very detailed and highlight potential issues in your application code.

Refer to the following sections for more information:

Configure PC-lint before you can run PC-lint on a single file, a file group, or on the complete project.

  • From the menu, select Tools - Lint file to lint the active file in the editor. This menu is accessible when the editor focus is on a C or C++ source file. If the file type is C++ source file and PC-lint options for C++ are used. If C++ options are not specified the C options are used.
  • In the Project window, right-click on a file and select Lint File 'file name' to lint that file.
  • picture: ProjWin - lint one file
  • In the Project window, right-click on a group and select Lint Files in Group 'group name' to lint all files of that group.
  • In the Project window, right-click the target name and select Lint All C/C++ Source Files to lint all files of the project.
  • From the menu, select Tools - Lint All C/C++ Source Files to lint all files of the project.
  • Note

    • If multiple source files are linted at the same time, C++ options are used if:
      • C++ options are configured in PC-Lint Options dialog.
      • all the selected files are of C++ file type.
      In all other cases C options configured in PC-Lint Options dialog are used.
  Arm logo
Important information

This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies.

Change Settings

Privacy Policy Update

Arm’s Privacy Policy has been updated. By continuing to use our site, you consent to Arm’s Privacy Policy. Please review our Privacy Policy to learn more about our collection, use and transfers
of your data.