Exemplo n.º 1
0
        /* goodB2G() - use badsource and goodsink */
        private static void GoodB2G()
        {
            short data = CWE191_Integer_Underflow__Short_min_multiply_61b.GoodB2GSource();

            if (data < 0) /* ensure we won't have an overflow */
            {
                /* FIX: Add a check to prevent an underflow from occurring */
                if (data > (short.MinValue / 2))
                {
                    short result = (short)(data * 2);
                    IO.WriteLine("result: " + result);
                }
                else
                {
                    IO.WriteLine("data value is too small to perform multiplication.");
                }
            }
        }