MATLAB的答案

Polyspace Bugfinder代码检查运行时错误的比例0%

16个视图(30天)
Sudheer Gundanna
Sudheer Gundanna 2023年5月4日16:25
编辑: Anirban 2023年5月8日17:50
嗨,Matlab和Matlab的社区,
我的结果polyspace bugfinder扫描我们的回购所示
Polyspace Bugfinder代码检查运行时错误的比例0%,我缺少一个选项来启用运行时错误检查吗?
有人知道这是什么意思?
第三章。Polyspace运行时检查结果
通常stll显示缺陷

在回答这个问题。

答案(1)

Anirban
Anirban 2023年5月6日19:57
哪一个 Polyspace报告模板 你用生成报告吗?看起来你正在使用开发人员模板,仅适用于Polyspace代码验证结果。如果你从Polyspace生成一份报告Bug搜索结果,您可以使用一个模板如BugFinder BugFinderSummary等等。
2的评论
显示1年长的评论
Anirban
Anirban 2023年5月8日17:50
编辑:Anirban 2023年5月8日17:50
如果你从Polyspace错误查询结果生成报告的用户界面,报告模板将显示在报告对话框。关于工作流的更多信息,请参阅 从Polyspace结果生成报告 。
如果你是后一个命令行工作流和使用 报告模板 选择polyspace-bug-finder或 polyspace-report-generator 命令,您必须显式地指定模板文件(.rpt)。所有模板文件都位于 polyspaceroot \ \工具箱\ polyspace \ psrptgen \模板 。在这里, polyspaceroot 例如,是Polyspace安装文件夹 C:\Program Files\Polyspace\R2023a 。

登录置评。