Statistics
4 Questions
0 Answers
RANK
34,639
of 290,013
REPUTATION
1
CONTRIBUTIONS
4 Questions
0 Answers
ANSWER ACCEPTANCE
75.0%
VOTES RECEIVED
1
RANK
of 19,620
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 144,399
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
Results/Polyspace-Doc/*.pdf shows only #### instead of text - font problem?
I have upgraded our Polyspace machine from CentOS-5 to CentOS-7 and reinstalled Polyspace 2013a from scratch. Everything works ...
8 years ago | 0 answers | 0
0
answersQuestion
Why would polyspace report "memset is dead code"
After the "Intermediate" part is done, the Full Log shows memset is dead code (along with other Standard C functions...
9 years ago | 1 answer | 0
1
answerQuestion
polyspace: best practice for stubbing functions that exit?
I'm not sure what the best practice is with respect to stubbing functions that exit/terminate the program. Consider a reboot() f...
10 years ago | 1 answer | 1
1
answerQuestion
polyspace: color of underlined tokens in the source pane
I'm trying to understand the different kinds of underlining Polyspace provides in the "Source" pane of the GUI. Obviously, solid...
10 years ago | 1 answer | 0