Abraxas/Misra Home  Table of Contents

Module - m107.html

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

Misra-C Test Suite for Module - m107.c

/* Misra C Enforcement Testing */

Misra C Enforcement Testing */

/* Rule 107: Required */

Rule 107: Required */

/* The NULL pointer shall not be dereferenced. */

The NULL pointer shall not be dereferenced. */

/* This is not statically detectable in all cases. */

This is not statically detectable in all cases. */
#include "misra.h"
static void
func107 ( void ) 



Function Name: func107()

{
    
int k;
int *pi = ( void * ) 0;
    
    k = ( *pi ) ; /*  RULE 107  */
    
    pi = ( &k ) ;
    
    k = ( *pi ) ; 
    
}

Abraxas/Misra Home  Table of Contents

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