photo

Tran Thang


Last seen: 5개월 전 |  2020년부터 활동

Followers: 0   Following: 0

통계학

  • Thankful Level 3

배지 보기

Feeds

보기 기준

질문


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

거의 3년 전 | 답변 수: 1 | 0

1

답변

질문


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

거의 3년 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 3년 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 3년 전 | 답변 수: 1 | 0

1

답변

질문


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

3년 초과 전 | 답변 수: 1 | 0

1

답변

질문


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

3년 초과 전 | 답변 수: 1 | 0

1

답변

질문


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

3년 초과 전 | 답변 수: 1 | 0

1

답변

질문


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

3년 초과 전 | 답변 수: 1 | 0

1

답변

질문


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

3년 초과 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 4년 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 4년 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 4년 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 4년 전 | 답변 수: 1 | 0

1

답변

질문


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

대략 4년 전 | 답변 수: 1 | 0

1

답변

질문


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

4년 초과 전 | 답변 수: 1 | 0

1

답변