Polyspace code prover warns Illegally Dereferenced ambiguously ?

7 visualizaciones (últimos 30 días)
Thao H
Thao H el 31 de Mayo de 2019
Editada: Thao H el 31 de Mayo de 2019
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 ?

Respuestas (0)

Productos


Versión

R2019a

Community Treasure Hunt

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

Start Hunting!

Translated by