Statistics
3 Questions
0 Answers
RANK
292,898
of 300,753
REPUTATION
0
CONTRIBUTIONS
3 Questions
0 Answers
ANSWER ACCEPTANCE
0.0%
VOTES RECEIVED
0
RANK
of 21,069
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 170,798
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Discussions
AVERAGE NO. OF LIKES
Feeds
Question
In the generated Polyspace report, the specific line and column numbers of the identified defects in the code are not specified.
Since individuals who cannot use Polyspace also need to understand the defects in the code, a report needs to be generated. Howe...
1 year ago | 1 answer | 0
1
answerQuestion
When using Polyspace to check code for CERT-C , some CERT-C Recommendations will not be checked.
When using Polyspace to check code for CERT-C compliance, some CERT-C recommendations will not be checked. For example： EXP03...
1 year ago | 0 answers | 0
0
answersQuestion
After running Polyspace (Code Prover), in the "Reasons for Unchecked Code" section, if the progress of the "code operations" is not 100%, I would like to know how the percenta
After running Polyspace (Code Prover), in the "Reasons for Unchecked Code" section, if the progress of the "code operations" is ...
1 year ago | 1 answer | 0
