Statistiques
7 Questions
0 Réponses
RANG
95 400
of 300 331
RÉPUTATION
0
CONTRIBUTIONS
7 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
85.71%
VOTES REÇUS
0
RANG
of 20 920
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 168 124
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
Are Defects Enabled by Default not enabled with Checkers Activation File?
When I used -checkers-selection-file, approx. 100 Defects were enabled by default (and I had 21 violations). See also https://ww...
3 mois il y a | 1 réponse | 0
1
réponseQuestion
No underflow checks in Polyspace Numerical Defects
In following link https://www.mathworks.com/help/bugfinder/numerical-checks.html, different overflow checks are listed, but no u...
3 mois il y a | 1 réponse | 0
1
réponseQuestion
Polyspace Bug Finder Shows Defects Although Not Activated
When Polyspace Bug Finder (Server?) has run in our CI/CD pipeline, I get following summary in the report: Why does Polyspace ...
7 mois il y a | 2 réponses | 0
2
réponsesQuestion
Different Results for Polyspace as You Code (PaYC) and "normal" Polyspace
We use following: Polyspace in our GitLab CI/CD pipeline, which triggers Polyspace analyses over the whole C project when pushi...
8 mois il y a | 1 réponse | 0
1
réponseQuestion
Polyspace Checks MISRA-C:2012 Directives which are Non-existent in the Document
Polyspace includes in the MISRA-C:2012 ruleset some directives (D5.1 - D5.3), which are actually not part of the official docume...
8 mois il y a | 1 réponse | 0
1
réponseQuestion
Add Polyspace Suppression for MISRA Directive
According to https://de.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html#respon...
8 mois il y a | 1 réponse | 0
1
réponseQuestion
Clear view "Polyspace Problems" in Eclipse for Polyspace as You Code (PaYC)
When I do an analysis with Polyspace as You Code (PaYC) in Eclipse for my C project, I get all the violations/results within the...
11 mois il y a | 1 réponse | 0
