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