Statistica
3 Domande
0 Risposte
RANK
194.211
of 301.857
REPUTAZIONE
0
CONTRIBUTI
3 Domande
0 Risposte
ACCETTAZIONE DELLE RISPOSTE
0.0%
VOTI RICEVUTI
0
RANK
of 177.015
CONTRIBUTI
0 Problemi
0 Soluzioni
PUNTEGGIO
0
NUMERO DI BADGE
0
CONTRIBUTI
0 Post
CONTRIBUTI
0 Pubblico Canali
VALUTAZIONE MEDIA
CONTRIBUTI
0 Punti principali
NUMERO MEDIO DI LIKE
Feeds
Domanda
Is polyspace 2020b compatible with win11？
The same BugFindr project, with the same code, running Polyspace on Windows 10 can correctly generate static inspection reports,...
quasi 3 anni fa | 3 risposte | 0
3
risposteDomanda
How to avoid the error of dead code in the default branch of the switch statement
In C, some compilers require the default branch to be included in the switch statement. For polyspace, if the case already cover...
quasi 3 anni fa | 1 risposta | 0
1
rispostaDomanda
How does polyspace bug finder intelligently identify useless if errors in if-else
The if-ESLE condition in the source code is the user's input, and according to the input value, it is decided which if branch to...
quasi 3 anni fa | 1 risposta | 0
