What are badly-typed functions in polyspace code prover 2016b ?
4 vues (au cours des 30 derniers jours)
Afficher commentaires plus anciens
![](https://www.mathworks.com/matlabcentral/answers/uploaded_files/468365/image.png)
0 commentaires
Réponses (1)
Anirban
le 28 Déc 2020
Hi,
The message indicates that the function pointer might point to a function whose prototype does not match the function pointer type.
Besides the message associated with the Non-initialized pointer check, the issue should also be highlighted through a Correctness condition check. See some examples of how the issue might occur on the documentation page for the Correctness condition check.
0 commentaires
Voir également
Catégories
En savoir plus sur Multitasking dans Help Center et File Exchange
Produits
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!