What are badly-typed functions in polyspace code prover 2016b ?
1 visualización (últimos 30 días)
Mostrar comentarios más antiguos
0 comentarios
Respuestas (1)
Anirban
el 28 de Dic. de 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 comentarios
Ver también
Categorías
Más información sobre Multitasking en Help Center y File Exchange.
Productos
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!