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

• Refer to PC-lint and MISRA Validation for details about the PC-lint invocation command and related configuration files.