Ejemplos de testcases.CWE129_Improper_Validation_of_Array_Index CWE129_Improper_Validation_of_Array_Index__Random_array_read_check_min_61b.GoodG2BSource en C# (CSharp)

Ejemplo n.º 1

Archivo: CWE129_Improper_Validation_of_Array_Index__Random_array_read_check_min_61a.cs Proyecto: Anzsley/Juliet_Test_Suite_v1.3_for_C_Sharp

        /* goodG2B() - use goodsource and badsink */
        private static void GoodG2B()
        {
            int data = CWE129_Improper_Validation_of_Array_Index__Random_array_read_check_min_61b.GoodG2BSource();

            /* Need to ensure that the array is of size > 3  and < 101 due to the GoodSource and the large_fixed BadSource */
            int[] array = { 0, 1, 2, 3, 4 };
            /* POTENTIAL FLAW: Verify that data >= 0, but don't verify that data < array.Length, so may be attempting to read out of the array bounds */
            if (data >= 0)
            {
                IO.WriteLine(array[data]);
            }
            else
            {
                IO.WriteLine("Array index out of bounds");
            }
        }