public override void Bad() { double data; badPublicStatic = true; data = CWE197_Numeric_Truncation_Error__double_console_ReadLine_to_float_22b.BadSource(); { /* POTENTIAL FLAW: Convert data to a float, possibly causing a truncation error */ IO.WriteLine((float)data); } }