C# (CSharp) testcases.CWE190_Integer_Overflow CWE190_Integer_Overflow__Byte_console_readLine_add_61b.GoodB2GSource Examples

Example #1

File: CWE190_Integer_Overflow__Byte_console_readLine_add_61a.cs Project: Anzsley/Juliet_Test_Suite_v1.3_for_C_Sharp

        /* goodB2G() - use badsource and goodsink */
        private static void GoodB2G()
        {
            byte data = CWE190_Integer_Overflow__Byte_console_readLine_add_61b.GoodB2GSource();

            /* FIX: Add a check to prevent an overflow from occurring */
            if (data < byte.MaxValue)
            {
                byte result = (byte)(data + 1);
                IO.WriteLine("result: " + result);
            }
            else
            {
                IO.WriteLine("data value is too large to perform addition.");
            }
        }