What are badly-typed functions in polyspace code prover 2016b ?
7 visualizzazioni (ultimi 30 giorni)
Mostra commenti meno recenti

0 Commenti
Risposte (1)
Anirban
il 28 Dic 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 Commenti
Vedere anche
Categorie
Scopri di più su Polyspace Code Prover in Help Center e File Exchange
Prodotti
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!