Main Content

在 Polyspace as You Code 中分析编译

分析源代码编译并为后续的 Polyspace as You Code 运行收集编译信息

Polyspace® as You Code 检查当前在您的 IDE 或代码编辑器中处于活动状态的文件是否存在 Bug 和编码标准违规。

为了避免分析运行时出错,请为 Polyspace as You Code 提供编译配置的具体信息,例如数据类型大小和编译器宏定义。要提供编译配置信息,您可以:

  • 将 Polyspace as You Code 配置为从您的 IDE 工程、编译命令或 JSON 编译数据库提取编译配置信息。

  • 在选项文件中指定模拟您编译配置的分析选项。请参阅用于 Polyspace 分析的选项文件 (Polyspace Bug Finder)

  • 从 Polyspace 桌面端产品工程文件中导入分析选项。

主题

相关信息