Statistiques
8 Questions
0 Réponses
RANG
95 260
of 301 213
RÉPUTATION
0
CONTRIBUTIONS
8 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
75.0%
VOTES REÇUS
0
RANG
of 21 191
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 173 422
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
Possibility of Using Baselines for Polyspace Bug Finder Analysis
In our company, we are using Polyspace Bug Finder in our CI pipeline. So every time a dev pushes code into the git repo (Bitbuck...
environ 9 heures il y a | 1 réponse | 0
0
réponseQuestion
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...
8 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...
8 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 ...
11 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...
12 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...
environ un an 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...
environ un an 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...
plus d'un an il y a | 1 réponse | 0
