内容提要
问题
Polyspace溢出橙色检查
你好,我有一个c++代码:# include < iostream >使用名称空间性病;int pos = 0;char * buf =零;const char *……
11个月前| 1 | 0回答
1
回答问题
DRS选项是有限Polyspace代码验证
嗨,伙计们,我下面有一个c++代码:空白myfunc (int *参数,char * argv[]){如果arg(*参数= = 1)* + = 1;查……
1年前| 1 | 0回答
1
回答问题
Polyspace橙色检查:添加DRS的数组
你好,我有一个c++代码:静态字符hw_type [4] = {' V ', ' 2 ', 0, 0};空白myfunc () {hw_type [1] + +;}这是h…
1年前| 1 | 0回答
1
回答问题
Polyspace:表达式必须有一个恒定的值
你好,我有一个c++代码:17 # define I2C_BUS_MAX_BUS_ITEMS 3 struct my_bus_t {int总线{1};bool is_extern……
1年前| 1 | 0回答
1
回答解决了
添加补偿信号
产生以下信号:< < http://blogs.mathworks.com/images/seth/cody/add-offset-eqn.png > >您应该看到一个向下……
5年前
解决了
将一块添加到模型中
产生以下信号:< < http://blogs.mathworks.com/images/seth/cody/add-block-eqn.png > >在这种情况下,斜率的……
5年前