Tran Thang
Followers: 0 Following: 0
Estadísticas
15 Preguntas
0 Respuestas
CLASIFICACIÓN
235.632
of 290.025
REPUTACIÓN
0
CONTRIBUCIONES
15 Preguntas
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
66.67%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
of 19.622
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 144.424
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Pregunta
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...
más de 2 años hace | 1 respuesta | 0
1
respuestaPregunta
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 ...
más de 2 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
casi 3 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
casi 3 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
alrededor de 3 años hace | 1 respuesta | 0
1
respuestaPregunta
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 3 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
más de 3 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
más de 3 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
más de 3 años hace | 1 respuesta | 0
1
respuestaPregunta
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 ...
casi 4 años hace | 1 respuesta | 0
1
respuestaPregunta
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. ...
casi 4 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
casi 4 años hace | 1 respuesta | 0
1
respuestaPregunta
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...
casi 4 años hace | 1 respuesta | 0
1
respuestaPregunta
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 4 años hace | 1 respuesta | 0
1
respuestaPregunta
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 ...
alrededor de 4 años hace | 1 respuesta | 0