主要内容

在无插件的 IDE 或编辑器中运行 Polyspace as You Code

配置 Polyspace® as You Code 插件以用于命令行运行,从不支持的 IDE 和编辑器中触发命令行运行

您可以直接在操作系统的终端中运行 Polyspace as You Code。如果您能够从 IDE 或编辑器中触发命令行运行并查看控制台输出,则可以从不直接支持插件或扩展的 IDE 或编辑器中使用 Polyspace as You Code。

系统命令

polyspace-bug-finder-access (Polyspace Access)(系统命令)从 WindowsLinux 或其他命令行运行 Polyspace as You Code
polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-configure(系统命令)从 DOS 或 UNIX 命令行中的编译系统创建 Polyspace 工程
polyspace-results-export(系统命令)将 Polyspace 结果导出为 CSV 或 JSON 等外部格式

主题

用法

安装和配置