环境设置
控制编译
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.
疑难解答
Troubleshoot Compilation and Linking Errors
Learn why Polyspace compilation can fail even if your compiler build succeeds and how to work around the failures.
