Esempio n. 1
0
        /* goodG2B() - use goodsource and badsink */
        private static void GoodG2B()
        {
            int data = CWE191_Integer_Underflow__int_min_sub_61b.GoodG2BSource();
            /* POTENTIAL FLAW: if data == int.MinValue, this will overflow */
            int result = (int)(data - 1);

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