社区概况

照片

基督教的吟游诗人

最后一次见到:1天前|自2012年以来活跃

联系

统计数据

所有
  • 个人最佳下载
  • 第一次审查
  • 五星银河1级
  • 第一次提交
  • 复兴三级
  • 知识渊博的2级
  • 第一个回答

视图徽章

内容提要

视图

回答
数据库清理后，Polyspace访问注释已被删除
这当然是由于R2020b版本中由于清理特性而检测到的问题。见https://fr.mathworks.com/sup万博1manbetxport/bugrep..。

| 0

回答
Polyspace访问-集群仪表板，用户管理-管理用户
访问和管理用户登录，密码是集群管理员的密码之一。可以通过。/admin-docker-agent——reset-…

2个月前

回答
编译器Polyspace错误查找器错误
建议在构建链上使用polyspace-configure来获取一组选项和目标值，以匹配您的comp…

7个月前| 0

回答
我如何为Polyspace错误查找器定义TI C2000编译器
建议在构建链上使用polyspace-configure来获取一组TI C200的选项和目标值…

7个月前| 0

回答
面临的问题(Enum类名在2019b中有前缀)
两个版本的Polyspace之间相隔了8年。在8年里Polyspace编译器确实改进和匹配…

| 0

提交


Polyspace模糊处理
混淆源代码以复制Polyspace行为，以便与技术支持进行交换万博1manbetx

| 5下载|

缩略图

提交


用Polyspace Bug Finder实现DISA STIG规则
Polyspace Bug Finder可以帮助自动实现STIG规则

| 5下载|

缩略图

回答
为什么我们会在Polyspace 8.5日志中得到“错误代码252”的失败?
你好，Jeevan，请联系技术支持，提供完整的日志文件。万博1manbetx认为,基督教

5年前| 0

回答
运行MISRA检查是否需要正确的目标处理器类型设置?
Hi Fabian，目标处理器类型确实对Polyspace中的MISRA结果有影响。例如使用Polyspace MISR…

5年前| 0

|接受

回答
Polyspace和报告生成器:“PolyspaceData”
Hi Patrick，如果你想定制报告，请参考文档//www.tianjin-qmedu.com/help/bugfinder/ug/cust…

5年前| 0

回答
自定义Polyspace Bug查找器报告
Hi SP，实际上可以自定义Polyspace Bug Finder报告，但不适用于本用例(参见文档http://w...

5年前| 0

回答
Polyspace代码证明程序中的DRS(数据范围规范)是如何生成的?
嗨Shaku，实际上，这是不可能给每个元素的最小/最大范围使用数据范围规格的数组…

5年前| 0

回答
为什么Polyspace Metrics在Polyspace代码验证结果中显示__pstf#number模块?
你好，Lorenz，看起来Polyspace正在显示Polyspace web Metrics上的内部文件。你可以联系技术支持……万博1manbetx

5年前| 0

回答
标识符“XYZ”未定义
你好Sharath，对于这类问题，你应该联系技术支持，至少提供一个完整的日志文件。万博1manbetx问候,Chri……

5年前| 0

回答
自定义Polyspace代码验证器报告
你好Shaku，使用DeveloperReview模板，您可以通过添加到分析中的文件获得运行时检查的摘要。文件不是提出…

5年前| 0

回答
我对bug查找器的代码度量值很好奇
你好，我猜你会向技术支持部门提出这个请求。万博1manbetx认为,基督教

5年前| 0

回答
polyspace一次最多可以验证多少个文件?
你好，Pallavi，我猜当使用Polyspace Bug Finder时，你可以一次把所有的项目。当使用Polyspace Code Prover…

5年前| 0

|接受

提交


Polyspace编译器模板
Polyspace编译器模板在安装阶段根据编译器和目标设置帮助

5年前| 1下载|

缩略图

提交


使用polyspace®实现“源代码质量的软件质量目标”标准
本文档定义了衡量软件质量的通用标准方法。

5年前| 6下载|

缩略图

提交


预处理后的模板
预处理后的脚本

5年前| 1下载|

回答
FLE文件不存在
这就跟你问声好！为了有更高精度的结果，请与完整的结果文件夹联系技术支持:他们可以提供…万博1manbetx

6年前| 0

回答
Polyspace度量服务器-使用的理由
亲爱的马提亚斯，上次竞选的理由正在考虑

7年前| 0

回答
Polyspace:定义处理不正确?
亲爱的Thomas，有了当前版本的Polyspace Code验证器(例如R2014b)和默认选项，它就可以正常工作了。

7年前| 0

|接受

回答
在polyspace中，指针赋值失败的原因
使用以下代码和默认选项，Polyspace code Prover (release R2013b)" get " it: typedef unsigned char u…

7年前| 0

回答
自定义规则检查-结构体
您是否可以尝试使用如下的regexp: .*STRUCT.*

7年前| 0

|接受

回答
C错误消息的Polyspace:参数的无效存储类/这里的声明必须声明一个参数
建议您带完整的日志文件联系技术支持。万博1manbetx一个加号也会提供一个小样本，复制…

7年前| 0

回答
如何让Polyspace代码验证程序识别printf函数?
对于这个问题，有很多答案，比如使用-D __polyspace_no_printf重新启动。这主要取决于……

7年前| 0

回答
在xiosbase包括文件的规范化过程中的Polyspace错误
另一种解决这个限制的方法是使用选项* -functions-to-stub std::ios_base::clear*重新启动。它将……

9年前| 0

回答
在xiosbase包括文件的规范化过程中的Polyspace错误
解决这个问题的方法是遵循以下步骤:*复制xiosbase附近的配置文件，并重命名为ps_xiosba…

9年前| 0