Answered
For the Polyspace Jenkins plugin, does the machine running Jenkins have to also have Polyspace Bug Finder Server?
Only the machine that runs a Bug Finder analysis needs to have access to a Bug Finder Server product somehow. The actual install...

5 years ago | 0

Answered
How can I get Polyspace Bug Finder Access installer zip?
The R2019b version of the Polyspace installer file (latest as of now) can be found here: https://www.mathworks.com/downloads/we...

5 years ago | 1

Answered
Polyspace limitation:fixed point type is not supported from the file tricore.h, which exists in MATLAB/polyspace/verifier/extensions/..
As of release R2019b, the fixed-point types of the Tasking compiler are not supported. If you do not use these types anyway, you...

5 years ago | 0

Answered
How to generate Bug Finder report with pass/fail tab filled?
You have to use specific report templates to see the Pass/Fail status: Code Prover: SoftwareQualityObjectives or SoftwareQualit...

5 years ago | 0

| accepted

Answered
How can I generate the report of coding-rule check with source code line information?
The Bug Finder reports are meant for archiving purposes only (to maintain snapshots of the code quality at specific milestones)....

5 years ago | 2

| accepted

Answered
Polyspace Code Prover expected identifier error
This error can come from multiple causes. Without some indication of the definition of KeyBaseType, it is difficult to answer. ...

5 years ago | 0

Answered
Problems by setting up a propper IAR Project for ARM
Hi Lunae, Do you mean this topic: https://www.mathworks.com/matlabcentral/answers/402567-how-to-use-polyspace-inside-iar-embbed...

5 years ago | 0

Answered
I am trying to upload the results of bugfinder analysis downloaded from server to the Polyspace Access. But I keep getting this error
To use the polyspace-access command to upload results, the results must have been generated using one of the Polyspace Server pr...

5 years ago | 2

| accepted

Answered
Expected a ";", compilation error with code prover
Polyspace Support can help you understand your specific issue. Visit this page. Often, errors like this can indicate some issues...

5 years ago | 1

| accepted

Answered
Where can I find Polyspace documentation?
For installation of the desktop products, Polyspace Bug Finder and Polyspace Code Prover, see the desktop product installation d...

5 years ago | 0

Answered
How do I use Polyspace Bug Finder with Jenkins?
In R2019a, the 'MathWorks Polyspace plugin' in Jenkins allows you to run the Polyspace Server products as part of continuous int...

5 years ago | 1

Answered
Can Polyspace prove recursion to be impossible?
Polyspace can detect use of recursion. There are many ways you can turn on recursion detection: Enable checkers for MISRA C:201...

6 years ago | 0

Answered
Is it possible to get a worst case stack size with polyspace
From R2017b onwards, Code Prover provides the stack size by tracing the call hierarchy. See: Maximum stack usage Determinati...

6 years ago | 0

Answered
MISRA rules violations of Generated Code for Embedded Coder
In addition to the previous answer, another possibility can be that you ran Polyspace for MISRA rules meant for handwritten code...

6 years ago | 1

Answered
Polyspace code prover results are half analysed
Do you mean code that is colored grey indicating unreachable code or code that is simply not analyzed (no colors)? In either ...

6 years ago | 0

| accepted

Answered
Why are the metrics in the reports not given per file but only the project min and max values?
Hello, If you use the *CodeMetrics* template for report generation, you see the metrics broken down by file and function. Fo...

6 years ago | 1

| accepted

Answered
How to suppress correctness condition
Hi Lenin, You have to provide the specific situation or a reproduction code snippet to show why the Correctness Condition err...

6 years ago | 0

Answered
Where can I find a detailed list of the differences between Bug Finder and Code Prover?
Hi Andreas, You can see the differences listed here: https://www.mathworks.com/help/codeprover/ug/polyspace-misra-c-2012-c...

6 years ago | 0