Polyspace code prover warns Illegally Dereferenced ambiguously ?

1 view (last 30 days)
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 ?

Answers (0)

Categories

Find more on Get Started with MATLAB in Help Center and File Exchange

Products


Release

R2019a

Community Treasure Hunt

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

Start Hunting!