15、利用Polyspace进行代码分析与管理的全面指南

利用Polyspace进行代码分析与管理的全面指南

1. 在Eclipse项目中复用编译器选项

在Eclipse项目里，编译器选项（像包含路径和预处理器宏）会被复用用于分析。不过，你无法在Polyspace配置中直接查看这些选项，但能在Eclipse编辑器里查看。具体操作如下：
- 查看包含路径 ：在项目属性（Project > Properties）的Paths and Symbols节点下，点击Includes标签即可看到包含路径。在分析时，这些路径会隐式地与分析选项Include folders (-I) 一同使用。
- 查看预处理器宏 ：同样在Paths and Symbols节点下，点击Symbols标签就能看到预处理器宏。分析时，这些宏会隐式地与分析选项Preprocessor definitions (-D) 一起使用。

如果在设置Eclipse项目时，是通过构建命令来指定编译工具链，那么分析无法自动提取编译器选项，这时就需要追踪构建命令。具体步骤如下：
1. 替换构建命令 ：将构建命令替换为：

polyspaceroot\polyspace\bin\polyspace-configure.exe 
 -no-sources -output-project 
PolyspaceWorkspace\EclipseProjects\Name\Name.psprj buildCommand

其中：
-