What are badly-typed functions in polyspace code prover 2016b ?
조회 수: 1 (최근 30일)
이전 댓글 표시
답변 (1개)
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.
댓글 수: 0
참고 항목
카테고리
Help Center 및 File Exchange에서 Multitasking에 대해 자세히 알아보기
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!