Community Profile

photo

Anirban

MathWorks

Last seen: Today 2018 以来アクティブ

Statistics

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

バッジを表示

Content Feed

表示方法

回答済み
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....

10日 前 | 0

| 採用済み

回答済み
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...

15日 前 | 0

| 採用済み

回答済み
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...

約2ヶ月 前 | 0

| 採用済み

回答済み
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...

2ヶ月 前 | 0

回答済み
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...

3ヶ月 前 | 1

回答済み
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...

3ヶ月 前 | 0

回答済み
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...

3ヶ月 前 | 1

| 採用済み

回答済み
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...

3ヶ月 前 | 0

| 採用済み

回答済み
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...

3ヶ月 前 | 0

回答済み
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...

3ヶ月 前 | 0

| 採用済み

回答済み
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 ...

3ヶ月 前 | 0

| 採用済み

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

4ヶ月 前 | 0

回答済み
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...

4ヶ月 前 | 0

| 採用済み

回答済み
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...

4ヶ月 前 | 0

回答済み
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...

4ヶ月 前 | 0

| 採用済み

回答済み
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...

4ヶ月 前 | 0

| 採用済み

回答済み
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, ...

5ヶ月 前 | 0

| 採用済み

回答済み
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 ...

5ヶ月 前 | 0

| 採用済み

回答済み
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...

5ヶ月 前 | 0

| 採用済み

回答済み
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 ...

5ヶ月 前 | 0

回答済み
polyspace : How to supress polyspace warning by waning id in code itself
After you review the warning, you can add a code annotation on the line of code containing the warning. See code annotation synt...

5ヶ月 前 | 0

| 採用済み

回答済み
Polyspace justifications added inside the code not available in generated polyspace reports
Did you generate the report from a result after uploading to Polyspace Access? This workflow seems to report all review informat...

5ヶ月 前 | 0

回答済み
In Polyspace Code Prover 2016b , Facing issue such that mismatch in Unreachable functions comparatively in Dashboard in Result List .
Hi, The two numbers should match. Please contact MathWorks Technical Support to help diagnose the issue for your code example: ...

5ヶ月 前 | 0

回答済み
Error: Exiting because of previous error
There should be a previous error on the Output Summary pane. You can also see the full analysis log and find the previous error....

5ヶ月 前 | 0

| 採用済み

回答済み
WriteFile failed with error 112
This is a Windows error that seems to be associated with a disk being almost full or corrupted files. Is it possible that your r...

6ヶ月 前 | 1

回答済み
Review Comments, Justification from last run on polyspace Metrics
Hi, You can use the -download option of the polyspace-results-repository command to download the results from Polyspace Metrics...

6ヶ月 前 | 1

| 採用済み

回答済み
Number of Illegally dereferenced pointer on version R2020b is decreased significantly?
Hi, I assume you are using the exact same Polyspace project (with exact same configuration) in both versions. Can you check som...

6ヶ月 前 | 0

回答済み
Global variables - Used non-shared variable
Hi, Used non-shared variables are somewhat like green checks in Code Prover. They are not warnings. Since Code Prover reports a...

6ヶ月 前 | 0

| 採用済み

回答済み
Is this a problem in Polyspace Bug-finder: Warning: Unable to create temp file:
You can safely ignore the warning. There is logic included to recover from those warning states, and unless you see any subseque...

6ヶ月 前 | 0

回答済み
polyspace metrics - Multiple user at a time
You should stop the Metrics server running on the slave. You can also check a few things: 1) Are you able to ping the build se...

6ヶ月 前 | 0

| 採用済み

もっと読み込む