Esempio n. 1
0
        public override void Bad()
        {
            int data = CWE191_Integer_Underflow__int_min_sub_61b.BadSource();
            /* POTENTIAL FLAW: if data == int.MinValue, this will overflow */
            int result = (int)(data - 1);

            IO.WriteLine("result: " + result);
        }