Keil Logo

Setup PC-Lint

The PC-lint Options dialog configures PC-lint and MISRA Validation. PC-lint from Gimpel Software is an add-on product to µVision.

Lint Executable
Specify the path to the PC-lint executable file.
Add Compiler Config
N.A.
Config File
Specify the PC-lint configuration file that contains the setup of PC-lint, for example, for the compiler and other parameters.

Include Project Information

Add 'Include' paths
When enabled, add include paths from the Options for Target - C/C++ compiler options dialog are added. This also includes the path to the compiler library header files.
Add 'Software Pack' paths
N.A.
Verify 'Software Pack' includes
N.A.
Add 'Preprocessor' symbols
When enabled, a file with compiler pre-processor defines is created and added. This file reflects the compiler settings.
Add 'Define' symbols
When enabled, the define symbols from compiler options dialog and other inherent project define settings (for example, RTE, <device>) are added.

Additional PC-lint Include Folders

Add additional include folders for the PC-lint setup.
You can use environment variables in curly brackets to specify paths. Refer to Key Sequence for Tool Parameters for details.

MISRA Rules Setup and Configuration

Rules
Specify a file to configure the MISRA validation. Using a MISRA_xxxxx_Config.lnt allows you to setup the rules that apply to your project.
  • Initial Setup: select the MISRA standard from the drop-down menu and click Setup. This copies a MISRA_xxxxx_Config.lnt file to your project folder.
  • Configure MISRA Rules: click Edit to open the MISRA_xxxxx_Config.lnt file. Switch to Configuration Wizard and select the rules that apply to your project.
  • Use MISRA Config File: Change the name of the MISRA_xxxxx_Config.lnt file to specify pre-configured rules. You may use a copy of an existing MISRA_xxxxx_Config.lnt file.

Single File: Additional lint Commands

Add additional PC-lint configuration settings that are applied when a single file is checked using PC-lint.

Multiple File: Additional lint Commands

Add additional PC-lint configuration settings that are applied when multiple files are checked using PC-lint.

Note

  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.