Illegally dereferenced pointer in __polyspace_main.c

When i run code prover , have "Illegally dereferenced pointer" orange check in the results list , error in "__polyspace_main.c _stub_g_23() " and "_stub_g_27()" , "P_0[pst_random_int] = pst_random_g_6;"

if ((P_0 != 0) && PST_TRUE())
        {
            while (pst_random_int)
            {
                P_0[pst_random_int] = pst_random_g_6;
            }
            P_0[0] = pst_random_g_6;

Answer 1

[Anirban]

Hi Xian,

Are you using an older release of Polyspace? Generated files used to show up sporadically in very older releases (instead of localizing a result on the user's source code, the result would be localized on stubs even though they originate in the user's code), but that should no longer be the problem. Another possibility is: if you take the generated main and modify it, results might appear there. The generated main should be invisible to the user and definitely is not supposed to be modified.

If neither of these is the case, then more context is needed to understand this problem. Please contact MathWorks Technical Support.

[Yuet Ching]

Thank you very much for your answer