Abraxas/Misra Home  Table of Contents

Module - m117.html

ABRAXAS SOFTWARE - CodeCheck MISRA Test-Suite Misra-C:1998 Misra-C:2004.

Misra-C Test Suite for Module - m117.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */

/* Rule 117: Required */

Rule 117: Required */

/* The validity of values passed to library functions shall be */

The validity of values passed to library functions shall be */

/* checked. */

checked. */

/* Not automatically enforceable by a simple rule although there are */

Not automatically enforceable by a simple rule although there are */

/* some examples which are worth checking. */

some examples which are worth checking. */
#include 
#include "misra.h"
static void
func117 ( void ) 



Function Name: func117()

{
    
SC_8 c[10];
    
    strcpy ( c, NULL ) ; /*  RULE 117  */
    memcpy ( c, NULL, 0 ) ; /*  RULE 117  */
   
}

Abraxas/Misra Home  Table of Contents

ABRAXAS SOFTWARE - CodeCheck MISRA Test-Suite Misra-C:1998 Misra-C:2004.