Statistics
8 Questions
0 Answers
RANK
92,757
of 301,229
REPUTATION
0
CONTRIBUTIONS
8 Questions
0 Answers
ANSWER ACCEPTANCE
75.0%
VOTES RECEIVED
0
RANK
of 21,201
REPUTATION
N/A
AVERAGE RATING
0.00
CONTRIBUTIONS
0 Files
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANK
of 173,547
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
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...
3 days ago | 0 answers | 0
0
answersQuestion
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 months ago | 1 answer | 0
1
answerQuestion
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 months ago | 1 answer | 0
1
answerQuestion
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 ...
12 months ago | 2 answers | 0
2
answersQuestion
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 months ago | 1 answer | 0
1
answerQuestion
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...
1 year ago | 1 answer | 0
1
answerQuestion
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...
1 year ago | 1 answer | 0
1
answerQuestion
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...
1 year ago | 0 answers | 0
