func: void CWE126_Buffer_Overread__CWE129_fgets_63_bad() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = atoi ( inputBuffer ); CWE126_Buffer_Overread__CWE129_fgets_63b_badSink ( & data ); void CWE126_Buffer_Overread__CWE129_fgets_63b_badSink(int * dataPtr) int data = * dataPtr ; if ( data >= 0 )  printIntLine ( buffer [ data ] ); void printIntLine (int intNumber) printf ( "%d\n" , intNumber ); 