来自 DOS 或 Windows 文件系统的代码 (-dos)
考虑文件路径为 MS-DOS 格式
描述
明确指出提供 DOS 或 Windows® 格式的文件用于分析。
设置选项
使用以下方法之一设置选项：
Polyspace® 用户界面（仅限桌面端产品）：在工程配置中，选择环境设置节点，然后选择此选项。
Polyspace 平台用户界面（仅限桌面端产品）：在工程配置中，在静态分析选项卡上，选择环境设置节点，然后选择此选项。
为何使用此选项
如果 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 |
