Example #1
0
 /* goodG2B() - use goodsource and badsink */
 private static void GoodG2B()
 {
     double data = CWE197_Numeric_Truncation_Error__double_console_ReadLine_to_float_61b.GoodG2BSource();
     {
         /* POTENTIAL FLAW: Convert data to a float, possibly causing a truncation error */
         IO.WriteLine((float)data);
     }
 }
Example #2
0
 public override void Bad()
 {
     double data = CWE197_Numeric_Truncation_Error__double_console_ReadLine_to_float_61b.BadSource();
     {
         /* POTENTIAL FLAW: Convert data to a float, possibly causing a truncation error */
         IO.WriteLine((float)data);
     }
 }