Community Profile

photo

Anirban

Last seen: 1 giorno fa Attivo dal 2018

Statistics

  • 12 Month Streak
  • Knowledgeable Level 4
  • Revival Level 2
  • First Answer

Visualizza badge

Content Feed

Visto da

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

3 giorni fa | 0

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

9 giorni fa | 0

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

15 giorni fa | 0

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

15 giorni fa | 1

| accettato

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

18 giorni fa | 0

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

18 giorni fa | 0

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

24 giorni fa | 0

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

24 giorni fa | 0

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

24 giorni fa | 0

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

24 giorni fa | 0

| accettato

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

24 giorni fa | 0

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

circa un mese fa | 1

| accettato

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

circa 2 mesi fa | 0

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

circa 2 mesi fa | 0

Risposto
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 ?

2 mesi fa | 0

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

3 mesi fa | 0

| accettato

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

3 mesi fa | 0

| accettato

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

4 mesi fa | 0

| accettato

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

4 mesi fa | 1

| accettato

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

4 mesi fa | 0

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

5 mesi fa | 0

Risposto
Where store PolyspaceAsYouCode Eclipse plugin the general and project related configuration ?
The options that you specify through Polyspace > Preferences, such as Polyspace Access URL, are stored in: %AppData%\MathWo...

5 mesi fa | 0

| accettato

Risposto
polyspace report generation with specific review scope
Yes, this is possible. You have to use the polyspace-report-generator command with the option -wysiwyg and a review scope name t...

5 mesi fa | 1

Risposto
JAVA error appears in matlab
Your MATLAB root begins with C:\Program Files\Polyspace\. This indicates that you might be opening MATLAB from C:\Program Files\...

5 mesi fa | 0

Risposto
How to generate a static analysis report in Polyspace per function in C.
The predefined CodingStandards template does not directly give you the list of functions with no rule violations. You have to cr...

5 mesi fa | 0

Risposto
polyspace-autosar lock analysing after reading of arxml source
Please contact MathWorks Technical Support for a deeper investigation of the issue: https://www.mathworks.com/support/contact_us...

5 mesi fa | 0

Risposto
Red checks are added when number of files are added
I am not sure what you mean by running a combined report. Does it mean that you combined the source files in all modules and ran...

5 mesi fa | 0

Risposto
How can I get the Polyspace version from Polyspace as you Code plugin ?
The Polyspace as You Code plugin is in principle decoupled from the Polyspace as You Code analysis engine. You have to use the u...

6 mesi fa | 1

| accettato

Risposto
False positive candidate Rule 10.3 for float array zero-initialization
The problem is not because of the array initialization. Indeed, as you say, MISRA C:2012 standard allows an exception of rule 1...

6 mesi fa | 0

| accettato

Risposto
How to Download Jobs scheduled by a specific User on Polyspace Job Monitor from a group of Jobs scheduled by Multiple user ?
You can use: polyspace-jobs-manager listjobs -scheduler schedulerName To list all jobs. The list should show the author of eac...

6 mesi fa | 0

Carica altro