[previous] 2842 [next] Apparent: Dereference of an invalid pointer value.
Arrays

An apparent anomaly has been detected. Preceding operations imply that this expression will sometimes result in an access outside the bounds of an array.

For example, in the code shown below, out of bounds array access will occur if the index n is greater than or equal to 10 - the presence of the "if" statement suggests that this is likely. Of course, if the value of n passed to function foo is always less than 10, the upper bound of the array will not be exceeded; but this would imply that the "if" statement is redundant and any code contained in the "if" block is also redundant.


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

    if (n > 10)
    {
    }

    a[n] = 1;                   /* 2842 */
}

Certain standard library functions specify that the char array destination argument shall be large enough to store the resulting characters including the null terminator.

This message will also be generated for the following functions where a string literal argument (M) that is too large for the destination array:
function M parameter number
snprintf 3
snprintf_s 3
sprintf 2
strcat 2
strcpy 2
strftime 3
strncat 2
strncpy 2

See also:

QA·C Source Code Analyser 8.1.2
© 2013 Programming Research.
www.programmingresearch.com 		Personality Groups | Glossary | Message Index Contents