Community Profile

photo

Anirban

MathWorks

Last seen: 2 days ago Active since 2018

Statistics

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

View badges

Content Feed

View by

Answered
Why Polyspace Code prover do not permit to check some MISRA rule ?
Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug F...

9 days ago | 0

| accepted

Answered
How to filter multiple lines from Polyspace result ?
Use the is in custom filter: Select the custom filter on the Line column. Select is in for Condition. In Value(s), select the ...

1 month ago | 0

| accepted

Answered
[polyspace] How do i generate report?
Please contact MathWorks Technical Support: https://www.mathworks.com/support/contact_us.html .

2 months ago | 0

| accepted

Answered
Polyspace Bug Finder ignores #if when checking macro values.
There could one of two things going on: MC680X0 and I80X86 are not defined in the code provided to Polyspace. You are probably ...

2 months ago | 1

| accepted

Answered
Integrating Polyspace R2021b with Matlab R2021b
Did you try to do the installation by explicitly giving the path to the R2021b Polyspace installation when running polyspacesetu...

2 months ago | 0

| accepted

Answered
How to integrate Polyspace with Visual studio code?
You can install a Polyspace as You Code extension in the Visual Studio Code IDE and run Polyspace as you save in the IDE (or exp...

3 months ago | 0

Answered
Polyspace in Jenkins. How to reduce the size of the generated options file?
You can add the option -merge-common-options to the polyspace-configure line. This will take all the -options-for-sources argume...

3 months ago | 0

| accepted

Answered
Is it possible to use Polyspace to run Static Analysis using the Keil C51 Compiler?
The keyword xdata is not required for the Polyspace analysis and can be removed during preprocessing. Simply enter xdata= for th...

3 months ago | 1

| accepted

Answered
Facing issue with Polyspace Bug Finder report generation
The report generated might be very large and you might have encountered the issue documented in Fix Insufficient Memory Errors D...

4 months ago | 0

Answered
Polyspace Code Prover doesn't create a report after a remote execution via command line
Thanks for the question! If you use the remote analysis options in the Polyspace user interface, the results are automatically...

4 months ago | 0

| accepted

Answered
Error when login to Polyspace Access via web server
Please contact MathWorks Technical Support for further assistance with this issue: https://www.mathworks.com/support/contact_us....

5 months ago | 0

| accepted

Answered
There are missing Coding Rules 8.14, 9.4, 9.5 like this many, so how to enable all the Rules?
To enable all rules, use the value all for the option -misra3. In the Polyspace user interface, you have to select this value fr...

5 months ago | 0

| accepted

Answered
why the orange warning for next line is not happened when array use just one index?
Hi, Following an orange check, the analysis eliminates execution paths that lead to an error. This is intended to save you from...

6 months ago | 0

| accepted

Answered
Code Power judge color warning that is not consistent
Hi, Are you sure u2t_index_x has the exact same range of values on line 453 in one version and line 929 in the other version? I...

7 months ago | 0

Answered
Custom Rule polyspace: typedef errors not being detected when custom types are being defined
I am assuming that you are using custom rules of group 3. I think, the way the checker works, it looks at each typedef of the fo...

7 months ago | 1

Answered
Setting Polyspace Access postgresql password
You can specify a password to authenticate connections to the PostgreSQL database. See more details in Configure the Database an...

7 months ago | 0

Answered
Is there a bug regarding MISRA Rule 2.2 (Dead Code)?
Hi, I was able to detect the rule violation on this code: #include <stdint.h> void f(void){ uint16_t...

7 months ago | 1

| accepted

Answered
How to merge Polyspace Access projects?
Hi, The Polyspace Access UI does not allow two projects with the same name in the same folder. But I don't think you want to se...

7 months ago | 0

| accepted

Answered
Polyspace - Relative Paths for command line build
Just to confirm, the workflow you are envisioning is this: you run polyspace-configure on your build command and share the gener...

7 months ago | 0

Answered
Is Polyspace R2020b Bug Finder and Code Prover compatible with C++ in Visual Studio 2019 (16.7.3)?
Visual Studio 2019 is supported from R2021a onwards. See R2021a release notes and the latest page for -compiler. You have to sel...

8 months ago | 0

| accepted

Answered
INPUTS AND STUBBING: INIT GLOBAL VARIABLES THROUGH CONSTRAIN_SETUP
You initialized argument 1 of function Bcd_copysignal with the following constraints: The pointer is not NULL. The pointer is ...

8 months ago | 0

| accepted

Answered
Non-initialized variable
Since the message refers to a 'dereferenced value', it is probably referring to the line: ErrorCode = *u8_ErrorCode; I don...

8 months ago | 0

Answered
Polyspace BugFinder: Disabling Security Defects
Hi, I will start with the difference between a security defect checker and another type of defect checker. A security defect sh...

8 months ago | 0

| accepted

Answered
Polyspace R2020b - compilation error occurs on stdio.h with error 'identifier "_Va_list" is undefined'
In the Polyspace user interface, when you create a new project, you can choose to use a predefined template. See more details in...

8 months ago | 0

Answered
How to give data ranges to function parameters which are pointers
I assume you are getting an orange warning on the dereferences a->x, a->y, and so on. The orange warning is probably an Illegall...

9 months ago | 0

| accepted

Answered
Code Prover warning 'Illegally dereferenced pointer'
In your example, you are converting an integer to a pointer. These conversions have results that are implementation-dependent an...

9 months ago | 0

| accepted

Answered
PS Code Prover - Tooltip text expand, get fully list
Hi, Unfortunately, as of now, there is no way to see the full list. However, to investigate a Non-initialized pointer finding, ...

9 months ago | 0

| accepted

Answered
Pause and resume the polyspace
Hi, There is no option to pause and resume the execution at any time. However, there is something close to what you are asking ...

9 months ago | 0

| accepted

Answered
Upload to Polyspace Access fails, which certificate is to blame?
I am assuming you are able to log in to Polyspace Access without any issues. To resolve this issue, you can try recreating the...

9 months ago | 0

| accepted

Answered
can use polyspace V2020b with Matlab R2019a ?
You can use Polyspace R2020b with MATLAB R2019a, but some functionalities are not available in a cross-release integration. See ...

9 months ago | 0

Load more