Polyspace can view the initialized registers?
8 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
Hello all,
I started a new Polyspace Code Prover (R2014b) analysis for a project. In configuration, I checked “Ignore default initialization of global variables” from “Inputs & Stubbing” tab.
In Results Manager, I have 55 orange check with “non-initialized variable”. All of them are refering to sfrWords. I saw in Datasheets_uC that the sfrWords are writted by HW.
What should I do in this situation in order the Polyspace can view the initialized registers?
Thanks
1 commentaire
Rashmi Jadhav
le 13 Mai 2015
Modifié(e) : Rashmi Jadhav
le 13 Mai 2015
Hello,
I am also using Polyspace Code Prover (R2014b). Continuing with the query i want to know more details regarding the same topic "the Polyspace can view the initialized registers?" as:
If the file in which registers are initialized got disabled by some test and then we run the polyspace then will it be able to capture the initialization is missing? Or What will be the warning/Error from Polyspace occur to detect the initialization of that register?
Kindly reply.
Thanks in advance.
Réponses (3)
Alexandre De Barros
le 10 Mar 2015
Hi Cristina,
I guess that the resigsters are declared as volatile, can you confirm ? Moreover, can you tell me how the registers are written in the code ?
Best regards,
Alexandre
0 commentaires
Cristina Golie
le 11 Mar 2015
1 commentaire
Alexandre De Barros
le 11 Mar 2015
Modifié(e) : Alexandre De Barros
le 16 Mar 2015
Thanks.
Can you tell me if these registers are explicitely initialized in the code provided to Polyspace?
If not, then it is normal to have these orange "non-initialized variables" since the option "Ignore default initialization of global variables" is used to specify that Polyspace must not treat global variables as initialized. This is the goal of this option: being able to detect global variables which are not explicitely set to a value.
Now, if they are explicitely initialized somewhere in the code, can you show me an example of such initialization? Thanks.
Alex
Voir également
Catégories
En savoir plus sur Multitasking dans Help Center et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!