[previous] 2841 [next] Definite: Dereference of an invalid pointer value.
Arrays

A definite anomaly has been detected. Examination of the context indicates that this expression will always result in an access outside the bounds of an array.

For example 


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

    if (n > 10)
    {
        a[n] = 1;               /* 2841 */
    }
}

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