玫青
Followers: 0 Following: 0
Statistics
3 Questions
0 Answers
RANK
228.664
of 295.638
REPUTATION
0
CONTRIBUTIONS
3 Questions
0 Answers
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 20.255
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 154.207
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Question
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,...
ongeveer een jaar ago | 3 answers | 0
3
answersQuestion
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...
ongeveer een jaar ago | 1 answer | 0
1
answerQuestion
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...
ongeveer een jaar ago | 1 answer | 0