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

回答