Statistiques
15 Questions
0 Réponses
RANG
102 682
of 300 788
RÉPUTATION
0
CONTRIBUTIONS
15 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
66.67%
VOTES REÇUS
0
RANG
of 21 091
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 171 083
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
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...
plus de 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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 ...
plus de 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
plus de 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
plus de 4 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
presque 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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 ...
presque 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
environ 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
environ 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
environ 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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 ...
plus de 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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. ...
plus de 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
plus de 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
plus de 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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...
plus de 5 ans il y a | 1 réponse | 0
1
réponseQuestion
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 ...
presque 6 ans il y a | 1 réponse | 0
