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

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