func: void CWE191_Integer_Underflow__int_fgets_sub_53_bad() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = atoi ( inputBuffer ); CWE191_Integer_Underflow__int_fgets_sub_53b_badSink ( data ); void CWE191_Integer_Underflow__int_fgets_sub_53b_badSink(int data) CWE191_Integer_Underflow__int_fgets_sub_53c_badSink ( data ); void CWE191_Integer_Underflow__int_fgets_sub_53c_badSink(int data) CWE191_Integer_Underflow__int_fgets_sub_53d_badSink ( data ); void CWE191_Integer_Underflow__int_fgets_sub_53d_badSink(int data) int result = data - 1 ; printIntLine ( result ); void printIntLine (int intNumber) printf ( "%d\n" , intNumber ); 