func: void CWE126_Buffer_Overread__CWE129_fgets_54_bad() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = atoi ( inputBuffer ); CWE126_Buffer_Overread__CWE129_fgets_54b_badSink ( data ); void CWE126_Buffer_Overread__CWE129_fgets_54b_badSink(int data) CWE126_Buffer_Overread__CWE129_fgets_54c_badSink ( data ); void CWE126_Buffer_Overread__CWE129_fgets_54c_badSink(int data) CWE126_Buffer_Overread__CWE129_fgets_54d_badSink ( data ); void CWE126_Buffer_Overread__CWE129_fgets_54d_badSink(int data) CWE126_Buffer_Overread__CWE129_fgets_54e_badSink ( data ); void CWE126_Buffer_Overread__CWE129_fgets_54e_badSink(int data) if ( data >= 0 )  printIntLine ( buffer [ data ] ); void printIntLine (int intNumber) printf ( "%d\n" , intNumber ); 