内容提要
回答
数据库清理后,Polyspace访问注释已被删除
这当然是由于R2020b版本中由于清理特性而检测到的问题。见https://fr.mathworks.com/sup金宝appport/bugrep..。
数据库清理后,Polyspace访问注释已被删除
这当然是由于R2020b版本中由于清理特性而检测到的问题。见https://fr.mathworks.com/sup金宝appport/bugrep..。
| 0
回答
运行MISRA检查是否需要正确的目标处理器类型设置?
Hi Fabian,目标处理器类型确实对Polyspace中的MISRA结果有影响。例如使用Polyspace MISR…
运行MISRA检查是否需要正确的目标处理器类型设置?
Hi Fabian,目标处理器类型确实对Polyspace中的MISRA结果有影响。例如使用Polyspace MISR…
5年前| 0
|接受
回答
Polyspace和报告生成器:“PolyspaceData”
Hi Patrick,如果你想定制报告,请参考文档//www.tatmou.com/help/bugfinder/ug/cust…
Polyspace和报告生成器:“PolyspaceData”
Hi Patrick,如果你想定制报告,请参考文档//www.tatmou.com/help/bugfinder/ug/cust…
5年前| 0
回答
为什么Polyspace Metrics在Polyspace代码验证结果中显示__pstf#number模块?
你好,Lorenz,看起来Polyspace正在显示Polyspace web Metrics上的内部文件。你可以联系技术支持……金宝app
为什么Polyspace Metrics在Polyspace代码验证结果中显示__pstf#number模块?
你好,Lorenz,看起来Polyspace正在显示Polyspace web Metrics上的内部文件。你可以联系技术支持……金宝app
5年前| 0
回答
polyspace一次最多可以验证多少个文件?
你好,Pallavi,我猜当使用Polyspace Bug Finder时,你可以一次把所有的项目。当使用Polyspace Code Prover…
polyspace一次最多可以验证多少个文件?
你好,Pallavi,我猜当使用Polyspace Bug Finder时,你可以一次把所有的项目。当使用Polyspace Code Prover…
5年前| 0
|接受
回答
在polyspace中,指针赋值失败的原因
使用以下代码和默认选项,Polyspace code Prover (release R2013b)" get " it: typedef unsigned char u…
在polyspace中,指针赋值失败的原因
使用以下代码和默认选项,Polyspace code Prover (release R2013b)" get " it: typedef unsigned char u…
7年前| 0
回答
在xiosbase包括文件的规范化过程中的Polyspace错误
另一种解决这个限制的方法是使用选项* -functions-to-stub std::ios_base::clear*重新启动。它将……
在xiosbase包括文件的规范化过程中的Polyspace错误
另一种解决这个限制的方法是使用选项* -functions-to-stub std::ios_base::clear*重新启动。它将……
9年前| 0