Polyspace code prover warns Illegally Dereferenced ambiguously ?
Afficher commentaires plus anciens
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 ?
Réponses (0)
Catégories
En savoir plus sur Run Settings dans Centre d'aide et File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!