Main Content

在 IDE 中设置 Polyspace 分析

在 IDE(例如 Eclipse、Visual Studio 和 Visual Studio Code)中检查 C/C++ 代码中是否存在缺陷

您可以指定分析选项以修改 Polyspace® as You Code 的默认行为。IDE 扩展设置中提供了常用选项(例如检查项)。如果在 IDE 扩展中找不到用于调整分析的设置,请查找分析引擎选项并在选项文件中指定该选项。然后,在您的 IDE 扩展设置中指定该选项文件。

通常情况下必需的配置操作包括对编译进行分析、设置检查项以及设置结果基线。对于这些操作中的每一个,您都需要指定适当的 IDE 扩展设置,然后再在运行 Polyspace as You Code 之前执行一些额外的步骤。例如:

  • 对编译进行分析:在您的 IDE 设置中,指定在何处获取编译信息,并在实际运行之前运行编译分析。

  • 设置检查项:在运行 Polyspace as You Code 之前,在检查项选择窗口中指定检查项并将其保存在一个配置文件中。在 IDE 设置中,指定此文件的路径。

  • 设置基线:在 IDE 设置中,指定要用作基线的 Polyspace Access™ 工程,然后在实际运行之前下载基线信息。

类别