主要内容

本页翻译不是最新的。点击此处可查看最新英文版本。

环境设置

预处理脚本、包含文件

要解决特定的编译错误,请使用环境设置选项。在使用这些选项之前,请先指定目标和编译器选项。然后,要解决剩余的编译错误,请使用选项删除或简单替换无法识别的标记。要使用更复杂的解决方案来解决编译和链接错误,请使用以下选项。例如,您可以指定一个 Perl 脚本,通过正则表达式替换不受支持的代码构造的实例。

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 的文件

主题