public override void Bad()
        {
            double data;

            data = double.MinValue; /* Initialize data */
            {
                /* read user input from console with ReadLine */
                try
                {
                    /* FLAW: Read data from the console using ReadLine */
                    string stringNumber = Console.ReadLine();
                    if (stringNumber != null) // avoid NPD incidental warnings
                    {
                        try
                        {
                            data = double.Parse(stringNumber.Trim());
                        }
                        catch (FormatException exceptNumberFormat)
                        {
                            IO.Logger.Log(NLog.LogLevel.Warn, exceptNumberFormat, "Number format exception parsing data from string");
                        }
                    }
                }
                catch (IOException exceptIO)
                {
                    IO.Logger.Log(NLog.LogLevel.Warn, exceptIO, "Error with stream reading");
                }
            }
            CWE197_Numeric_Truncation_Error__double_console_ReadLine_to_float_52b.BadSink(data);
        }
        /* goodG2B() - use goodsource and badsink */
        private void GoodG2B()
        {
            double data;

            /* FIX: Use a hardcoded number that won't cause underflow, overflow, divide by zero, or loss-of-precision issues */
            data = 2;
            CWE197_Numeric_Truncation_Error__double_console_ReadLine_to_float_52b.GoodG2BSink(data);
        }