/* goodB2G() - use badsource and goodsink */ public static void GoodB2GSink(int data) { CWE191_Integer_Underflow__int_min_sub_54d.GoodB2GSink(data); }
public static void BadSink(int data) { CWE191_Integer_Underflow__int_min_sub_54d.BadSink(data); }