photo

Zulham Mr


Last seen: 1 year 前 |  自 2018 起处于活动状态

Followers: 0   Following: 0

消息

A Matlab/Simulink enthusiast

统计学

All
  • Thankful Level 3
  • Solver

查看徽章

Feeds

排序方式:

提问


Polyspace Overflow Orange Checks
Hello guys, I have this C++ code: #include <iostream> using namespace std; int pos = 0; char *buf = NULL; const char *...

2 years 前 | 1 个回答 | 0

1

个回答

提问


DRS option is limited in Polyspace Code Prover
Hi guys, I have this C++ code below: void myfunc(int *arg, char *argv[]) { if (*arg == 1) *arg += 1; cha...

2 years 前 | 1 个回答 | 0

1

个回答

提问


Polyspace Orange Check: Adding DRS for array
Hello guys, I have this C++ code: static char hw_type[4] = {'V','2',0, 0}; void myfunc() { hw_type[1]++; } This is h...

2 years 前 | 1 个回答 | 0

1

个回答

提问


Polyspace: expression must have a constant value
Hello guys, I have this C++17 code: #define I2C_BUS_MAX_BUS_ITEMS 3 struct my_bus_t { int bus{-1}; bool is_extern...

2 years 前 | 1 个回答 | 0

1

个回答

提问


Polyspace: Errors from Using Namespace std Without Prefix
Hi guys, I have problem in Polyspace stating that the global scope has no "mblen". I have tried the solution by adding std in ...

2 years 前 | 1 个回答 | 0

1

个回答