Exemplo n.º 1
0
        public override void Bad()
        {
            short data = CWE191_Integer_Underflow__Short_min_multiply_61b.BadSource();

            if (data < 0) /* ensure we won't have an overflow */
            {
                /* POTENTIAL FLAW: if (data * 2) < short.MinValue, this will underflow */
                short result = (short)(data * 2);
                IO.WriteLine("result: " + result);
            }
        }