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

조회 수: 3 (최근 30일)
Shrikant Lahane
Shrikant Lahane 2020년 12월 22일
답변: Anirban 2020년 12월 28일

답변 (1개)

Anirban
Anirban 2020년 12월 28일
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.

카테고리

Help CenterFile Exchange에서 Polyspace Code Prover에 대해 자세히 알아보기

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by