Beantwortet
Can I exclude utility functions generated by rtw coder 2015b from static analysis?
If your Polyspace version is later than R2016a, you can use this option to exclude specific files or folders: https://www.mathw...

mehr als 6 Jahre vor | 0

Beantwortet
Custom rule to be added to polyspace
The Polyspace custom rules use regular expressions to detect patterns, so you can go as far as regular expressions can take you....

mehr als 6 Jahre vor | 0

Beantwortet
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...

mehr als 6 Jahre vor | 0

Beantwortet
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...

mehr als 6 Jahre vor | 1

Beantwortet
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...

mehr als 6 Jahre vor | 0

Beantwortet
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...

mehr als 6 Jahre vor | 0

| akzeptiert

Beantwortet
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)....

mehr als 6 Jahre vor | 2

| akzeptiert

Beantwortet
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. ...

mehr als 6 Jahre vor | 0

Beantwortet
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...

mehr als 6 Jahre vor | 0

Beantwortet
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...

mehr als 6 Jahre vor | 2

| akzeptiert

Beantwortet
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...

mehr als 6 Jahre vor | 1

| akzeptiert

Beantwortet
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...

mehr als 6 Jahre vor | 0

Beantwortet
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...

fast 7 Jahre vor | 1

Beantwortet
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...

etwa 7 Jahre vor | 0

Beantwortet
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...

etwa 7 Jahre vor | 0

Beantwortet
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...

mehr als 7 Jahre vor | 1

Beantwortet
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 ...

mehr als 7 Jahre vor | 0

| akzeptiert

Beantwortet
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...

mehr als 7 Jahre vor | 1

| akzeptiert

Beantwortet
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...

mehr als 7 Jahre vor | 0

Beantwortet
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...

mehr als 7 Jahre vor | 0