社区资料

照片

克里斯蒂安·巴德(Christian Bard)

最后出现:3天前|自2012年以来活跃

统计数据

全部
  • Github提交1级
  • 3个月连胜
  • 个人最佳下载级别1
  • 首次审查
  • 五星级星系1级
  • 首先提交
  • 复兴级别3
  • 知识渊博的级别2
  • 第一个答案

查看徽章

内容提要

查看

提交


重新分类 - 平面guidelines for-misra for-misra使用polyspace
文档描述了一个过程,该过程允许使用Polyspace错误查找器遵循重新分类计划指南

9天前|1下载|

回答
在使用 - 基于cormults-list-file选项时,我如何才能让polyspace-report-grouner-tementer系列源行?
此功能当前不存在于Polyspace错误查找器中。发现的本地化只能在小比利斯中看到...

7个月前|0

|公认

回答
数据库清理后,Polyspace访问评论已被删除
这肯定是由于由于清理功能而在Release R2020B中检测到的问题。请参阅https://fr.mathworks.com/s金宝appupport/bugrep ...

8个月前|0

回答
polyspace访问 - 群集仪表板,用户管理用户用户
要访问和管理用户登录,密码是集群管理员之一。它可以通过./admin-docker-agent -Reset -...重置。

10个月前|1

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

1年前|0

回答
我如何为polyspace错误查找器定义Ti C2000编译器
嗨,建议在构建链上使用polyspace-configure来获取Ti C200 ...的选项和目标值集。

1年前|0

回答
面对问题(Enum Class名称在2019b中有前缀)
尊敬的洪吉恩·金(Honggyun Kim),两个版本的polyspace之间有8年。在8年中,Polyspace编译器确实改进和匹配...

2年前|0

提交


polyspace obfuscator
混淆源代码以复制多源空间行为以在技术支持下进行交流金宝app

3年前|3下载|

缩略图

提交


使用polyspace错误查找器实施disa stig规则
polyspace错误查找器可以帮助自动化Stig规则的实现

3年前|4个下载|

缩略图

回答
为什么我们在Polyspace 8.5日志中获得“错误代码252”?
嗨,Jeevan,请通过完整的日志文件与技术支持联系。金宝app问候,基督徒

5年前|0

回答
运行MISRA检查需要正确的目标处理器类型设置吗?
嗨,法比安(Fabian),目标处理器类型确实对MISRA产生了影响。例如使用polyspace misr ...

5年前|0

|公认

回答
Polyspace和报告生成器:“ polyspacedata”
嗨,帕特里克,如果您想自定义报告,请参考文档http://www.tatmou.com/help/bugfinder/ug/cust ...

5年前|0

回答
自定义polyspace错误查找器报告
嗨,SP,实际上可以自定义polyspace bug finder报告,但对于此用例,可以自定义(请参阅文档http:// w ...

5年前|0

回答
在Polyspace代码供体中,如何生成此DRS(数据范围规范)?
嗨,shaku,实际上,使用数据范围规格不可能为数组的每个元素提供最小/最大范围...

5年前|0

回答
为什么PolySpace指标显示__PSTF##在polyspace代码供摊位上显示的数字模块?
嗨,洛伦兹,看起来Polyspace正在Polyspace Web指标上显示内部文件。您将联系...金宝app

5年前|0

回答
标识符“ xyz”不确定
嗨,Sharath,有关此类问题,您将与至少完整的日志文件联系技术支持。金宝app问候,Chri ...

5年前|0

回答
自定义多频道代码示意剂报告
嗨,shaku,使用开发人员浏览模板,您可以通过添加到分析中的文件进行运行时检查的摘要。文件不是prese ...

5年前|0

回答
我有关于值的Quious Quious,可以通过Bug Finder的代码度量来衡量
您好Cheolgyu,我想您会要求此请求提供技术支持。金宝app问候,基督徒

5年前|0

回答
Polyspace一次可以成功验证多少最大文件?
您好Pallavi,我想使用Polyspace Bug Finder时,您可以一次放置所有项目。当使用polyspace代码供供商品...

5年前|0

|公认

提交


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

5年前|2下载|

缩略图

提交


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

5年前|3下载|

缩略图

提交


发布预处理模板
发布预处理脚本

5年前|2下载|

回答
FLE文件不存在
你好!为了获得更高的精度结果,请通过完整的结果文件夹联系技术支持:它们可能会证明...金宝app

7年前|0

回答
PolySpace指标服务器 - 理由的使用
亲爱的马蒂亚斯(Matthias),最后一步的理由是

7年前|0

回答
polyspace:定义处理不正确吗?
尊敬的托马斯(Thomas),具有当前版本的Polyspace代码供您使用(例如R2014B)和默认选项,可按预期工作。

7年前|0

|公认

回答
在polyspace中,为什么指针分配失败
使用以下代码和默认选项,PolySpace代码贵族(Release R2013B)“ Got” IT:Typedef Unsigned Char U ...

8年前|0

回答
自定义规则检查 - 结构
您能尽量尝试以下方式:。*struct。*

8年前|0

|公认

回答
C错误消息的多元空间:参数/A声明的无效存储类必须声明参数
我建议您通过完整的日志文件联系技术支持。金宝app一个加号还将提供一个繁殖的小样本...

8年前|0

回答
如何获得polyspace代码供供识别printf函数?
对于这个问题,有很多答案,例如使用-D __polyspace_no_printf重新启动。这主要取决于...

8年前|0

回答
Xiosbase归一化期间的多元空间错误包括文件
解决限制的另一种方法是重新启动选项 * - functions to-stub std :: ios_base :: clear *。它会 ...

9年前|0

装载更多