Polyspace code prover warns Illegally Dereferenced ambiguously ?

1 回表示 (過去 30 日間)
Thao H
Thao H 2019 年 5 月 31 日
編集済み: Thao H 2019 年 5 月 31 日
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 件)

カテゴリ

Help Center および File ExchangeGet Started with MATLAB についてさらに検索

製品


リリース

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by