Illegally dereferenced pointer in __polyspace_main.c
9 visualizaciones (últimos 30 días)
Mostrar comentarios más antiguos
Yuet Ching
el 9 de Mayo de 2020
Comentada: Yuet Ching
el 13 de Mayo de 2020
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 comentarios
Respuesta aceptada
Anirban
el 12 de Mayo de 2020
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.
Más respuestas (0)
Ver también
Categorías
Más información sobre Interpret Code Prover Results en Help Center y File Exchange.
Productos
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!