Illegally dereferenced pointer in __polyspace_main.c

Question

Yuet Ching 2020-5-9

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/524131-illegally-dereferenced-pointer-in-__polyspace_main-c

评论： Yuet Ching 2020-5-13

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;

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

请先登录，再回答此问题。

Answer 1

Anirban 2020-5-12

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/524131-illegally-dereferenced-pointer-in-__polyspace_main-c#answer_432058

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.