Code from DOS or Windows file system (-dos)

Consider that file paths are in MS-DOS style

Description

Specify that DOS or Windows^® files are provided for analysis.

Set Option

Set the option using one of these methods:

• Polyspace^® user interface (desktop products only): In your project configuration, select the Environment Settings node and then select this option.

• Polyspace Platform user interface (desktop products only): In your project configuration, on the Static Analysis tab, select the Environment Settings node and then select this option.

• Command line and options file: Use the option -dos. See Command-Line Information.

Why Use This Option

Use this option if the contents of the Include or Source folder come from a DOS or Windows file system. The option helps you resolve case sensitivity and control character issues.

Settings

On (default)

Analysis understands file names and include paths for Windows/DOS files

For example, with this option,

#include "..\mY_TEst.h"^M

#include "..\mY_other_FILE.H"^M

resolves to:

#include "../my_test.h"

#include "../my_other_file.h"

In this mode, you see an error if your include folder has header files whose names differ only in case.

Off

Characters are not controlled for files names or paths.

Command-Line Information

Parameter: -dos

Default: Off

Example (Bug Finder): polyspace-bug-finder -dos -I ./my_copied_include_dir -D test=1

Example (Code Prover): polyspace-code-prover -dos -I ./my_copied_include_dir -D test=1

Example (Bug Finder Server): polyspace-bug-finder-server -dos -I ./my_copied_include_dir -D test=1

Example (Code Prover Server): polyspace-code-prover-server -dos -I ./my_copied_include_dir -D test=1