社区概况

照片

克里斯蒂娜Golie


自2014年以来活跃

联系

统计数据

  • 感谢1级

视图徽章

内容提要

视图

问题


可以添加一个Polyspace评论在单个行置评MISRA规则和RTE警告?
你好所有的,我有一个问题关于Polyspace代码验证R2014b:——可以Polyspace注释添加到一个李都行……

8年前| 1 | 0回答

1

回答

问题


文件没有生成Polyspace代码验证R2015a
以下文件没有生成Polyspace代码验证R2015a: MISRA-C3-summary-report。xml MISRA-C3-report。xml……

8年前| 1 | 0回答

1

回答

问题


U16的转换与结果溢出。为什么?
你好,我做了下面的例子:typedef unsigned int U16;无符号字符与类型;/ / case……

8年前| | 0 2的答案

2

答案

问题


我们有什么问题arrise当联盟+波动?
你好所有的,我有下面的c文件:无符号字符与类型;typedef unsigned int U16;联盟twoBytesUni……

8年前| 1 | 0回答

1

回答

问题


MISRA - C 2012: 13.2规则警告Polyspace代码验证R2014b
我做了下面的例子从“MISRA - C 2012”pdf文件:*走读生波动int端口;void main(){端口=端口&……

8年前| 1 | 0回答

1

回答

回答
Polyspace可以查看寄存器初始化?
这是附加的文件

8年前| 0

回答
Polyspace可以查看寄存器初始化?
你好,亚历克斯,是的,寄存器是声明为volatile。你可以看到我的附加文件(register.txt)。谢谢你

8年前| 0

问题


Polyspace可以查看寄存器初始化?
你好所有的,我开始了新的Polyspace代码验证项目(R2014b)分析。在配置中,我选中“忽略defaul…

8年前| 0 | 3的答案

3

答案

问题


Polyspace R2014b安装问题
目前我们有一个并发Polyspace错误发现者许可证。R2014a安装许可版本服务器许可证。可以…

8年前| 1 | 0回答

1

回答