18、Polyspace分析配置与使用指南

Polyspace分析配置与使用指南

在软件开发过程中，Polyspace是一款强大的代码分析工具，可帮助开发者检测代码中的缺陷和潜在问题。本文将详细介绍Polyspace的使用方法，包括结果查看、远程分析脚本创建、分析选项配置、目标和编译器选项设置等内容。

1. 结果查看与作业管理

下载结果后，可使用Polyspace用户界面查看结果。同时，还可以使用以下命令对作业进行管理：
- getlog -job ID ：打开指定ID作业的日志。
- remove -job ID ：移除指定ID的作业。
- promote -job ID ：在队列中提升指定ID作业的优先级。
- demote -job ID ：在队列中降低指定ID作业的优先级。

2. 远程分析示例脚本

在Windows系统中，为避免每次都输入命令，可以将命令保存到批处理文件中；在Linux系统中，则可使用shell脚本重新启动分析。以下是创建用于运行分析的批处理文件的步骤：
1. 将分析选项保存到 listofoptions.txt 文件中，具体可参考 -options-file 选项。
2. 使用文本编辑器（如Notepad）创建 launcher.bat 文件，并输入以下命令：

echo off
set POLYSPACE_PATH=polyspa