Info

此问题已关闭。 请重新打开它进行编辑或回答。

Does Polyspace Prover's wrong analysis occur in a run-time loop execution ?

1 次查看（过去 30 天）
Thao H
Thao H 2019-6-6
关闭： MATLAB Answer Bot 2021-8-20
I have an orange warning in my source code reported by Polyspace Code Prover R2018a. But it is too weird and shown as below:
Untitled1.png
u4Data[] and ptMb->u4DFReg[] are using the same index (and this index is legal and equal to [0 .. 15]) to access the data arrays.
Could you (Technical support team) tell me what is the problem in the source code above ? And tell me how to resolve the warning ?
Thanks!

此问题已关闭。

回答（1 个）

John Boyd
John Boyd 2020-1-8
The ulDataReadSize variable is probably an unproven/unkown value and equal to full range. Since Polyspace is uncertain as to what the termination index is, it produced an orange on the first subscript that was out of bounds, in this case 16.

此问题已关闭。

标签

Community Treasure Hunt

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

Start Hunting!

Translated by