[previous] 2843 [next] Suspicious: Dereference of an invalid pointer value.
Arrays

Dataflow analysis has identified a code construct which is suspicious. The code may be entirely safe but further investigation is advisable.

An array is being accessed and examination of the immediate context suggests that the element being accessed could sometimes be out of bounds.

For example, in the code shown below, the value of the array subscript 'x' will be '10' (leading to an array bounds violation) unless the parameter 'n' is greater than 0. 


/*PRQA S 2017,3120,3132,3203,3227,3408,3605,3689 ++*/
void foo(int n)
{
   int a[10];
   int i;
   int x = 10;

   for (i = 0; i < n; ++i)
   {
      --x;
   }

   a[x] = 1;                      /* 2843 */
}

No MISRA-C:2004 Rules applicable to message 2843

See also:

QA·C Source Code Analyser 8.1
MISRA-C:2004 Compliance Module 3.2
© 2012 Programming Research.
www.programmingresearch.com 		Personality Groups | Glossary | Message Index | MISRA-C:2004 Rule Index Contents