Community Profile

photo

Anirban


Last seen: Today

MathWorks

103 2018 이후 총 참여 횟수

연락

Anirban's 배지

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

세부 정보 보기...

참여 게시물
보기 기준

답변 있음
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...

9일 전 | 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 ...

9일 전 | 0

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

24일 전 | 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...

30일 전 | 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...

약 1달 전 | 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...

약 1달 전 | 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...

약 1달 전 | 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, ...

약 2달 전 | 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 ...

약 2달 전 | 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...

2달 전 | 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 ...

2달 전 | 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...

2달 전 | 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...

2달 전 | 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: ...

2달 전 | 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....

2달 전 | 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...

3달 전 | 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...

3달 전 | 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...

3달 전 | 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...

3달 전 | 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...

3달 전 | 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...

3달 전 | 0

| 수락됨

답변 있음
Polysapce code prover C justifications
To justify MISRA C:2012 results, the term after polyspace should be either MISRA-C3 or MISRA2012 . See Annotate Code and Hide K...

4달 전 | 1

| 수락됨

답변 있음
Virtual Functions are not reachable while performing Module run in Polyspace 2019b
It is not clear what you mean by 'still it remains unreachable'. Do you mean that the body of the function is not analyzed at a...

4달 전 | 1

답변 있음
Load .mat file error
You have to share the commands you are using for us to see what might be happening. If you are simply doing something like this...

4달 전 | 0

답변 있음
Is there an API to retrieve metrics from polyspace access
Hi Olivier, You definitely have options besides dumping the full html page. Just to clarify, when you say "metrics", do you me...

4달 전 | 0

| 수락됨

답변 있음
Stack check by Code Prover
It is possible to calculate all code metrics other than stack size in the earlier stages of a Code Prover analysis. You have to ...

4달 전 | 0

| 수락됨

답변 있음
BugFinder unable to find any NTL?
Hi Oliver, Code Prover can find this and other much more sophisticated cases of non-terminating loops. Bug Finder uses the same...

5달 전 | 0

| 수락됨

답변 있음
Local Variable is calculated differently in the two runs
Hi, There is usually a thread of logic behind the Code Prover calculation since Code Prover uses quite airtight mathematic. How...

5달 전 | 1

| 수락됨

답변 있음
Why do I get this error when using polyspace-configure: ERROR: [from sniffer] : invalid handle
Hi Jeremy, The message indicates that an NtCreateFile event (file creation) was detected, but the file could not be accessed. I...

5달 전 | 0

답변 있음
Polyspace MISRA-CPP 2008 Coding rule custom setting
Hi Won, The message means that those rules are not implemented in the Polyspace version that you are using. The coverage of sta...

5달 전 | 0

Load more