如何在 Eclipse 中集成 polyspace？

【问题标题】：How to integrate polyspace in Eclipse?如何在 Eclipse 中集成 polyspace？
【发布时间】：2021-10-16 11:08:03
【问题描述】：

我想为我当前的项目使用 polyspace 错误查找器和代码证明器，但是我无法将 polyspace 与我的 IDE(eclipse) 集成。

【问题讨论】：

【解决方案1】：

两种方法：

为 Eclipse 安装 Polyspace 插件 https://www.mathworks.com/help/codeprover/gs/install-polyspace-plugin-for-eclipse.html 使用该插件，您可以启动 Code Prover 或 Bug Finder 并直接在 Eclipse 中查看结果（无需打开 Polyspace UI 即可查看结果）
从 R2021b 开始，一个名为 PolyspaceAsYouCode 的新工具（可通过 Polyspace Access 获得）在不同的 IDE（Eclipse、Visual Studio、Visual Studio Code）中运行快速的 Bug Finder 分析

【讨论】：