func: void CWE191_Integer_Underflow__int_fgets_multiply_54_bad() char inputBuffer [ CHAR_ARRAY_SIZE ] = "" ; if ( fgets ( inputBuffer , CHAR_ARRAY_SIZE , stdin ) != NULL )  data = atoi ( inputBuffer ); CWE191_Integer_Underflow__int_fgets_multiply_54b_badSink ( data ); void CWE191_Integer_Underflow__int_fgets_multiply_54b_badSink(int data) CWE191_Integer_Underflow__int_fgets_multiply_54c_badSink ( data ); void CWE191_Integer_Underflow__int_fgets_multiply_54c_badSink(int data) CWE191_Integer_Underflow__int_fgets_multiply_54d_badSink ( data ); void CWE191_Integer_Underflow__int_fgets_multiply_54d_badSink(int data) CWE191_Integer_Underflow__int_fgets_multiply_54e_badSink ( data ); void CWE191_Integer_Underflow__int_fgets_multiply_54e_badSink(int data) if ( data < 0 )  int result = data * 2 ; printIntLine ( result ); void printIntLine (int intNumber) printf ( "%d\n" , intNumber ); 