What are badly-typed functions in polyspace code prover 2016b ?

Answer 1

[Anirban]

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.