代码来自 DOS 或 Windows 文件系统 (`-dos`)

R2026b

注意文件路径是 MS-DOS 样式的

描述

指定提供 DOS 或 Windows^® 文件进行分析。

使用以下方法之一设置选项：

Polyspace 平台用户界面（仅限桌面端产品）：在您的工程配置中，在静态分析选项卡上，选择环境设置节点，然后选择此选项。
命令行和选项文件：请使用 -dos 选项。请参阅命令行信息。
Python^® API：在静态分析配置中设置 Dos 属性。请参阅 polyspace.project.StaticAnalysisConfiguration (Polyspace Test)。
TOML 配置文件 (.toml.pscfg) - 在 [EnvironmentSettings] 表中使用键 Dos。例如：
```
[EnvironmentSettings]
Dos = true
```

如果 Include 或 Source 文件夹的内容来自 DOS 或 Windows 文件系统，请使用此选项。此选项可帮助您解决大小写敏感性和控制字符问题。

开启（默认值）

分析可以理解 Windows/DOS 文件的文件名和包含路径

例如，使用此选项，

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

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

解析为：

#include "../my_test.h"

#include "../my_other_file.h"

在此模式下，如果您的包含文件夹中存在文件名只有大小写不同的头文件，则您将看到错误。

关闭

文件名或路径的字符不受控制。

参数：-dos

默认值：关闭

示例 (Bug Finder)：polyspace-bug-finder -dos -I ./my_copied_include_dir -D test=1

示例 (Code Prover)：polyspace-code-prover -dos -I ./my_copied_include_dir -D test=1

示例 (Bug Finder Server)：polyspace-bug-finder-server -dos -I ./my_copied_include_dir -D test=1

示例 (Code Prover Server)：polyspace-code-prover-server -dos -I ./my_copied_include_dir -D test=1