Nideesh Madhu

最后一次看到:1年前|自2021年以来活跃

问题

问题MISRA - C: 2012 - 10.3 2019年polyspace代码验证规则
假设我有以下结构和枚举:代码:typedef struct年代{unsigned int: 5;unsigned int b: 1;联合国…

1年前| 1 | 0回答

回答

问题

MISRA违反Polyspace codeprover并不给予警告(MISRA - C: 2012, 19.2 -联盟关键字不应使用)
我们支持MISRA - C: 2012 - polyspace代码验证。我们工会在头文件中声明并创建了对象……

1年前| 1 | 0回答

回答

问题

为什么Polyspace代码验证不允许检查一些MISRA规则吗?
我们通常做静态分析polyspace代码验证。我们也使MISRA检查然后发现一些规则只有……

1年前| 1 | 0回答

回答

问题

如何给数据范围函数参数的指针
在运行代码验证我了很多橙色警告和试图减少给函数输入数据范围p…

2年前| 1 | 0回答

回答

问题

代码验证警告“非法取消引用指针”
在运行代码验证我在很多地方得到了同样的橙色警告的代码。例如在函数,空白DD_XYZ_In……

2年前| 1 | 0回答

回答

感谢3级