Respondida
How can I start Polyspace in a second instance?
You can double-click the polyspace.exe executable twice to open two instances, and then open your .psbf file from whichever inst...

alrededor de 1 año hace | 0

Respondida
How can I use 'mp5xx' target with 'diab' compiler in polyspace 2020 bug finder?
If you are using the mp5xx target, you can pick powerpc as your target. For the purposes of a Polyspace analysis, MPC5xx falls...

alrededor de 1 año hace | 0

Respondida
how can I check checkers-activation-file versus checkers-selection-file
Couple of differences: The option -checkers-activation-file allows you to specify all checkers supported by Bug Finder: defect ...

alrededor de 1 año hace | 0

Respondida
identifier "SRSS" is undefined while doing polyspace analysis
Your workflow should have worked. For instance, this simple file: void foo(void) { int x = SS; } Will show the 'undefine...

alrededor de 1 año hace | 0

Respondida
Create polyspace project(*.psprj) from command line
You cannot create a blank Polyspace project or a project with source files from the command line (unless you are using a build c...

alrededor de 1 año hace | 0

| aceptada

Respondida
How do I add custom rules for data types separately?
Custom rules in the Type definitions category only apply to typedef-s. All typedef-s of integer types are flagged by a different...

alrededor de 1 año hace | 0

Respondida
How do I customize the indentation in the custom rules?
As of release R2022b, there is no rule related to indentation in Polyspace Bug Finder. Most IDE-s and editors these days have...

alrededor de 1 año hace | 0

Respondida
How should I verify ”overlapping” results from Code Prover and Bug Finder?
The recommended approach is to use Bug Finder first (and more frequently), and fix the simpler bugs found. Then, use Code Pro...

alrededor de 1 año hace | 1

| aceptada

Respondida
Polyspace "Maximum Stack Usage" calculation on ARM systems wrong
Hi, -target=arm uses these settings (for the armcc compiler for instance): https://www.mathworks.com/help/bugfinder/ref/armv5...

alrededor de 1 año hace | 0

Respondida
Compatibility check for matlab products with targetlink
1) For cross-release integration, you can run on generated code using pslinkruncrossrelease (introduced in R2021a). 2) Your Pol...

alrededor de 1 año hace | 0

Respondida
identifier "oo" is undefined error in polyspace bug finder
Do you mean that you have a #include to a header referred by it's absolute path? This should be automatically detected without e...

alrededor de 1 año hace | 0

Respondida
I can't run the "polyspace-bugfinder-nodesktop.exe" via a user-defined option file
Which release of Polyspace are you using? Since R2021b, text format for coding rules specification is not supported. See the Ver...

alrededor de 1 año hace | 0

Respondida
compatibility of polyspace 2019a with matlab 2021b
You can have a Polyspace version later than the MATLAB version but not vice versa. See Polyspace Support of MATLAB and Simulink ...

alrededor de 1 año hace | 1

| aceptada

Respondida
Code prover gives force refined shared variables analysis error.
Some more information is needed to answer this question. Are you using a manual multitasking configuration? In other words, are...

alrededor de 1 año hace | 0

Respondida
Code Prover and Bug Finder finding race condition bug problem.
You can see which structure field is accessed on the Variable Access pane. For more information, see Variable Access.

alrededor de 1 año hace | 0

Respondida
How to fix memory usage in Code Prover ?
There could be many possible reasons why Code Prover is running slower than expected. See Reduce Memory Usage and Time Taken by ...

alrededor de 1 año hace | 0

Respondida
How to fix gray checks and unreachable functions at Code Prover ?
The unreachable functions might indicate issues with project setup, some early red check, or some compilation issue. See Reasons...

alrededor de 1 año hace | 0

Respondida
Code Prover Unreachable code and function
The unreachable functions might indicate issues with project setup, some early red check, or some compilation issue. See Reasons...

alrededor de 1 año hace | 0

Respondida
Parsing error while opening polysapce project created by Build command
Did you create this project at the command line and then try to open this project in the UI? In other words, is this the first t...

alrededor de 1 año hace | 0

| aceptada

Respondida
While integrating polyspace 2019a with Matlab 2019a Im getting an error stating undefined function or variable 'polyspacesetup'
The syntax: polyspacesetup('install') Is immediately available only from R2021a. In R2019a, you have to do a few steps ...

alrededor de 1 año hace | 0

Respondida
Can Polyspace Bug Finder Server be used with Gitlab CICD instead of Jenkins?
Yes, you can run Polyspace Bug Finder Server on GitLab. You can assign a dedicated runner in GitLab to run the polyspace-bug-fin...

más de 1 año hace | 1

| aceptada

Respondida
Getting Error in Bug Finder in Polyspace Client.
Please contact MathWorks Technical Support for deeper analysis of the problem. For more information, see Contact Technical Suppo...

más de 1 año hace | 0

Respondida
DRS File Polyspace with unknown struct of pointer
If your code compiles, Polyspace should have the struct definition. I am wondering if you have compilation errors. Anyway, your ...

más de 1 año hace | 0

Respondida
MATLAB crashed when running the .mexw64 file
Is it this issue: https://www.mathworks.com/help/bugfinder/ug/fix-matlab-crashes-polyspace-in-matlabroot.html ?

más de 1 año hace | 0

Respondida
MISRA C2012 Amendment 1, Addentum 3
As of release R2022b, Polyspace Bug Finder supports all MISRA C:2012 amendments upto Amendment 2. See Polyspace Support for MISR...

más de 1 año hace | 0

| aceptada

Respondida
How to test single file in a whole project in a polyspace bug finder.
I am assuming you have already set up a project in the Polyspace user interface and want to add a new file to this project. To d...

más de 1 año hace | 0

| aceptada

Respondida
Polyspace UT cannot traverse subfolder structure
If I understand the question correctly, you are adding a path to an include folder but the subfolders are not being traversed. I...

más de 1 año hace | 0

| aceptada

Respondida
HIS Code Metrics justification
You have to use: /* polyspace CODE-METRICS: VOCF [Not a defect:Low] The amount of called functions is necessary due to readabil...

más de 1 año hace | 1

| aceptada

Respondida
Polyspace: Only one (green) check despite expecting multiple hundreds of checks
The answer depends on whether you used polyspace-autosar (to generate modules for software components from ARXML specifications ...

más de 1 año hace | 0

Respondida
Polyspace Reports unwanted N/As
To have a pass/fail status, you have to specify something called Software Quality Objectives (SQO). So, the pass/fail status wou...

más de 1 año hace | 0

Cargar más