已回答
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 前 | 0

已回答
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 前 | 1

已回答
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 前 | 0

已回答
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 前 | 0

| 已接受

已回答
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 前 | 2

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0

已回答
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 前 | 2

| 已接受

已回答
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 前 | 1

| 已接受

已回答
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 前 | 0

已回答
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 前 | 1

已回答
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...

5 years 前 | 0

已回答
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...

5 years 前 | 0

已回答
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 前 | 1

已回答
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 前 | 0

| 已接受

已回答
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 前 | 1

| 已接受

已回答
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 前 | 0

已回答
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 前 | 0