社区概况

照片

Alexandre De Barros

最后看到:13天前|自2012年以来活跃

联系

统计数据

所有
  • 个人最好下载1级
  • 第一次审查
  • 第一次提交
  • 连续6个月
  • 复兴级别2
  • 知识渊博的四级
  • 第一个回答
  • 解算器

视图徽章

内容提要

视图

回答
Polyspace BugFinder -模块分析当前工作目录不存在
你好,对于这类问题,请联系技术支持。万博1manbetx你可以从MathWorks网站:https://w..。

2年前| 0

|接受

回答
如何生成Polyspace项目选择到一个文本文件从一个已经存在的Polyspace Polyspace项目代码验证2016 b ?
嗨,没有办法.psprj转换为文本选项,但如果你去结果文件夹的项目之一,…

3年前| 0

|接受

回答
如何打开polyspace R2016b项目polyspace R2012 b版本?
你好,您可以打开R2012b项目文件与Polyspace R2016b,但是在打开文件对话框中你必须切换到. cfg exten……

4年前| 0

回答
系统错误没有这样的文件或目录(noent:没有这样的文件或目录)异常Io (Io)。一些文件的代码验证verfication日志文件
你好,这样的错误,你应该联系技术支持,并发送验证日志(显示选项我们……万博1manbetx

4年前| 0

回答
需要帮助与polyspace错误发现者当编译器和目标不是已经配置
你好,很难回答只有一个截图,但是我可以看到,创建了一个项目。你能确认吗?(cli……

4年前| 0

|接受

回答
与内部错误Polyspace代码验证崩溃
你好,这个消息是扩展行为的症状,可能是因为项目的大小。请参考另一…

4年前| 0

回答
我在哪里找到polyspace codeprover -functions-called-before-loop设置在代码验证接口
你好,这个选项是只有当项目是model-generated代码。在这种情况下,选项可以f……

4年前| 1

|接受

回答
我怎么做静态代码分析Ada源代码吗?
你好,我证实了dpd写道:《美国残疾人法》产品是一个独立的产品。你不能分析Ada与C / c++代码的产品…

4年前| 1

回答
为什么当我运行polyspace-configure,我得到错误:错误建立临时目录
你好,在这里我建议联系支持。万博1manbetx为了更好地理解这个问题,请先启动polyspace-confi……

4年前| 0

回答
添加MISRA和错误的评论
你好,没有,没有办法快速注释代码本身。有什么需要,你会如何选择violatio……

4年前| 0

提交


对AUTOSAR Polyspace演示
演示展示如何使用特性R2018a中引入“AUTOSAR Polyspace”

4年前7 |下载|

缩略图

回答
我正在寻找一种自动化的方式删除从Polyspace度量服务器“旧”的结果
你好马特,我们不久将公布一项工具,但是我们已经给你寄出。请联系支持它在睡觉…万博1manbetx

4年前| 0

|接受

回答
错误:一个意想不到的错误(66)发生在“ps_cxx_fe.exe”。
你好,对于这样的问题,请联系技术支架和与你的请求发送分析日志。最好的…

4年前| 0

回答
如何让.ci Polyspace 2017 b上的文件版本吗?
你好,您可以使用高级选项-keep-relaunch-files。ci文件将被创建在一个子文件夹命名.rel……

4年前| 0

|接受

回答
我怎么找到我Polyspace许可证号码吗?
嗨,你会发现在另一个MATLAB详细办法你的牌照号码Aswers:我怎么找到我Polyspace许可证ν……

4年前| 1

回答
新版本Polyspace兼容旧版本的Matlab ?
嗨,你能描述您想要使用的上下文和MATLAB Polyspace吗?例如,你想使用Polyspace……

4年前| 0

回答
c代码Polyspace MISRA-C检查没有Polyspace值范围和溢出检查
你好,因为大多数的编码规则违规行为被发现在“编译”阶段,我建议你停止验证……

4年前| 0

|接受

回答
Codeprover:所有变量都是未使用的
你好,如果Polyspace代码验证是能够找到一个名为主要的函数,它会自动使用它作为主要切入点....

4年前| 0

|接受

回答
你好,我们有一个Mathworks Polyspace R2016A
你好,有两种方法可以做到这一点:*定制现有模板,添加一个过滤器文件看到纪录片…

4年前| 0

回答
CodeProver不检测为非易失性全局变量溢出
你好,我不能复制你的结果:溢出挥发性和非易失性变量。b和c full-ra…

5年前| 0

|接受

回答
CodeProver不检测和无符号变量溢出/下溢
你好,在标准C,没有溢出的无符号类型。C99标准(§6.2.5/9)状态:“计算涉及……

5年前| 2

|接受

回答
橙色OBAI Polyspace代码中检查验证R2015a
你好,这里有一个类似的问题:< //www.tianjin-qmedu.com/matlabcentral/answers/101992-why-do-i-see-a-cast-to-signe..。

5年前| 0

回答
Polyspace假设关于全局/静态变量
你好,这个外来的静态变量的概念确实有点奇怪。它不再出现在当前版本的…

5年前| 0

|接受

回答
有什么方法可以保持成功编译之后预处理文件?
你好,您可以使用选项-keep-all-files。如果你使用命令行,这只是一个选项来添加到您的lis……

5年前| 1

|接受

回答
polyspace 2012 b的关键部分
嗨!你会发现信息的关键部分R2012b遵循这个链接:< //www.tianjin-qmedu.com/help/r..。

5年前| 0

回答
Polyspace 2013使用Windows 10吗
你好,Windows 万博1manbetx10开始R2015a的支持。如果你想知道是什么版本的支持,从什么时候开始,你……万博1manbetx

5年前| 0

回答
从代码注释Polyspace 2017 b不填充
你好,我不能复制这个prejustified发表评论。你设置什么地位和严重性侵犯?这是一个…

5年前| 0

回答
Pplyspace抱怨转换溢出:int转换从32 unsigned int 32。然而我把它定义为无符号。是一些~运营商吗?
你好艾哈迈德,确实与~操作符。这个操作符将不会进行U16但“int”t…

5年前| 0

回答
Polyspace“验证”/“源代码合规”阶段——为什么不平行呢?
你好马丁,因为R2014b合规检查源文件的并行。看到这个pag的发行说明…

5年前| 0

|接受

回答
如何指定通用目标处理器与64位指针Polyspace吗
嗨,康拉德,这一目标的名称是什么?有一个目标在64位指针:x86_64。这是完全不同于你的…

5年前| 0

加载更多