Statistiques
3 Questions
0 Réponses
RANG
292 992
of 300 343
RÉPUTATION
0
CONTRIBUTIONS
3 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
0.0%
VOTES REÇUS
0
RANG
of 20 926
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 168 172
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE 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...
10 mois il y a | 1 réponse | 0
1
réponseQuestion
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...
11 mois il y a | 1 réponse | 0
0
réponseQuestion
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 ...
plus d'un an il y a | 1 réponse | 0
