Community Profile

photo

Anirban

Last seen: Today Active since 2018

Statistics

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

View badges

Content Feed

View by

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

14 days ago | 0

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

22 days ago | 0

| accepted

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

2 months ago | 0

| accepted

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

2 months ago | 0

| accepted

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

2 months ago | 1

| accepted

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

3 months ago | 0

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

3 months ago | 0

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

3 months ago | 0

| accepted

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

3 months ago | 1

Answered
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\...

3 months ago | 0

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

3 months ago | 0

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

4 months ago | 0

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

4 months ago | 0

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

4 months ago | 1

| accepted

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

4 months ago | 0

| accepted

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

4 months ago | 0

Answered
How to switch from Polyspace to Matlab?
Polyspace products and MATLAB require separate licenses even though they use the same installer. See Install Polyspace with Othe...

4 months ago | 0

| accepted

Answered
Will Polyspace check code within a Simulink user-defined function block?
Polyspace checks for run-time errors, bugs and coding standard violations in C/C++ code. So, if you have user defined function b...

4 months ago | 0

Answered
Disable some (specific) orange checks in Code Prover
You cannot disable specific Code Prover checks. See more details in Modify or Disable Code Prover Run-Time Checks. I am not sur...

5 months ago | 0

Answered
Why Polyspace Code Prover does not consider 'memcpy' declaration in default way & for that I am getting MISRA C violations of Rule 17.3?
Is it possible that you have not #include-d the header string.h in the source file that has the memcpy usage? For instance, thi...

5 months ago | 0

Answered
Facing issue while linking Polyspace to matlab.
You are trying to perform the analysis on a remote cluster instead of locally on your desktop. To do this, you required Parallel...

5 months ago | 0

Answered
Polyspace Overflow Orange Checks
There are two reasons for the orange overflow: snprintf() can return a very large number. myfunc() can be called 0 or more tim...

5 months ago | 0

| accepted

Answered
Rule A12-1-1 for constructor with "default" keyword
I could not reproduce the rule violation you are seeing with R2020a. For instance, I tried with these examples: Base constructo...

5 months ago | 0

Answered
Need to know Bug Finder analysis report is possible for only some functions in file?(Not full file)
Do you mean reports or results in the GUI? You can filter results in the GUI to the functions that you want and suppress other ...

6 months ago | 0

Answered
Is it possible to create a project file specifically for Bug Finder or Code Prover?
The .psprj files are meant for running both Polyspace products, therefore, as far as I understand, there is no way to specify pr...

6 months ago | 0

| accepted

Answered
How to run Polyspace Bugfinder CLI with C++ header files (.hpp)?
Just trying to understand your use-case better. Do you want to run Bug Finder on some header files by themselves, or do you wan...

6 months ago | 0

Answered
How to work with Polyspace from the basic?
Are you attempting to run Polyspace from MATLAB? Are you seeing some error? (A license checkout issue will show up as an error w...

6 months ago | 0

| accepted

Answered
DRS option is limited in Polyspace Code Prover
In C++, you cannot constrain pointer arguments of functions using this interface. See Constraint Specification Limitations. The ...

6 months ago | 0

| accepted

Answered
Why do I receive a message 'No space left on device' when using PolySpace for C/C++ on server side?
This error generally means that the drive containing your temporary folder got full during the Polyspace verification. There a...

6 months ago | 0

Answered
What is the correct annotation syntax in Polyspace Bug Finder/Code Prover for multi-line comment annotations in source code?
Since R2019b, Polyspace supports results annotations that are spread over multiple lines. See R2019b release notes. To learn ab...

6 months ago | 0

Load more