环境设置
预处理脚本、包含文件
Polyspace 选项
源代码编码 (-sources-encoding) | 指定源文件的编码 |
来自 DOS 或 Windows 文件系统的代码 (-dos) | Consider that file paths are in MS-DOS style |
如果文件无法编译则停止分析 (-stop-if-compile-error) | Specify that a compilation error must stop the analysis |
用于预处理文件的命令/脚本 (-post-preprocessing-command) | Specify command or script to run on source files after preprocessing phase of analysis |
包含 (-include) | 指定分析中的每个 C 文件要 #include 的文件 |
主题
- 指定 Polyspace 分析选项
在 Polyspace® 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。
- Remove or Replace Keywords Before Compilation
Replace or remove keywords from preprocessed code to avoid compilation errors.
- Gather Compilation Options Efficiently
Put workarounds for compilation errors into a single file and include that file in analysis.