Polyspace code prover warns Illegally Dereferenced ambiguously ?
1 回表示 (過去 30 日間)
古いコメントを表示
Hello Code Prover support team,
I bought a Polyspace license from Mathworks and have run Polyspace code prover.
In my context, the tool generated an orange warning as below:

I am not aware much of the warning "Points to 4 bytes at unknown offset in buffer of unknown size, so may be outside bounds."
It seemed that there're not much information to resolve the warning. Can I have more detailed explanation on this ?
0 件のコメント
回答 (0 件)
参考
カテゴリ
Help Center および File Exchange で Get Started with MATLAB についてさらに検索
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!