Zulham Mr
Followers: 0 Following: 0
Statistiques
RANG
169 934
of 301 664
RÉPUTATION
0
CONTRIBUTIONS
5 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
100.0%
VOTES REÇUS
0
RANG
of 21 377
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
Question
Polyspace Overflow Orange Checks
Hello guys, I have this C++ code: #include <iostream> using namespace std; int pos = 0; char *buf = NULL; const char *...
presque 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
presque 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
environ 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
environ 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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 ...
environ 4 ans il y a | 1 réponse | 0
