Community Profile

photo

Tran Thang


Last seen: 1 día ago Active since 2020

Statistics

  • Thankful Level 2

View badges

Content Feed

View by

Question


Polyspace CP target and compiler.
Hi @Anirban, I have a new CPU with source code developing on, it's Fujitsu 32-bit microcontroller FR81s MB91520 CPU. So, can m...

6 meses ago | 1 answer | 0

1

answer

Question


why the orange warning for next line is not happened when array use just one index?
Hi @Anirban, At line 1971, array ps2g_csain_KArInFarCorIndirElimDistFr uses index u1s_csain_EmBumpTypeIndex, Orange warning is ...

6 meses ago | 1 answer | 0

1

answer

Question


Code Power judge color warning that is not consistent
Hi @Anirban, I'm counting number of orange warnings. I'm confusing the result of orange warnings from Code Power. At version 2...

7 meses ago | 1 answer | 0

1

answer

Question


INPUTS AND STUBBING: INIT GLOBAL VARIABLES THROUGH CONSTRAIN_SETUP
Hi @Anirban, How to init global variables with specific size by Input + Stubbing? I have tried to do it through constrain set...

8 meses ago | 1 answer | 0

1

answer

Question


Number of Illegally dereferenced pointer on version R2020b is decreased significantly?
Hi Anirban, I'm comparing between version R2019b and R2020b when run same source code. Please take a look two shoots below: So...

11 meses ago | 1 answer | 0

1

answer

Question


Local Variable is calculated differently in the two runs
Hi Matlab Support teams, I'm using Polyspace R2019a, and i got a problem about local variable, which is calculated differently ...

alrededor de 1 año ago | 1 answer | 0

1

answer

Question


Illegally dereferenced pointer may be incorrect
Hi Technical Support Team I got a concern about orange warning at line 1065. Because array u1t_ArSrcSignalData[] is not NULL an...

alrededor de 1 año ago | 1 answer | 0

1

answer

Question


Local Variable was change range value but not assigned
Hi Matlab Support teams! I'm using Polyspace R2019a, and i got a problem about local Variable At line 5970, range value of l...

alrededor de 1 año ago | 1 answer | 0

1

answer

Question


How to add a new module into my exist project
Hello, I analyzed my source code via Jenkins using Code Prover command line (Both result folder). In my project folder, there a...

alrededor de 1 año ago | 1 answer | 0

1

answer

Question


Whether result of Code Prover is depend on the power of the computer which run it?
Good afternoon, When I run a same project on 2 computers, one is core i7, one is core i9. I realize that number of warnings in ...

más de 1 año ago | 1 answer | 0

1

answer

Question


Import Review Information from Previous Polyspace Analysis have a problem.
Good morning! I detect a problem related to "Import Review Information from Previous Polyspace Analysis" seem very dangerous. ...

más de 1 año ago | 1 answer | 0

1

answer

Question


Recovering data after abnormal termination
Hi, My Polyspace Code Prover is running code analysis, suddenlly the power is shut down and i lose everything i have in the pas...

más de 1 año ago | 1 answer | 0

1

answer

Question


Code Prover show a new Orange warning but I can't find any relationship between changed source code and this new warning.
Good morning! I have a problem with Code Prover. When I run Code Prover with new source code (base on project of old source cod...

más de 1 año ago | 1 answer | 0

1

answer

Question


Why Code Prover cannot detect Out of bound array index?
Global variable u1g_icsin_EmVari = [0.. 8] => This maybe a Out of bounds array index but Code Prover didn't show any warning re...

casi 2 años ago | 1 answer | 0

1

answer

Question


Import comments to Polyspace Code Prover
Hi guys, i have a question, please help me. Does any way to import comment of analyzed warnings from Csv file or Excel file to ...

casi 2 años ago | 1 answer | 0

1

answer