Example #1
0
        /* goodG2B() - use GoodSource and BadSink */
        private static void GoodG2B()
        {
            int data;

            /* FIX: Use a hardcoded number that won't cause underflow, overflow, divide by zero, or loss-of-precision issues */
            data = 2;
            Hashtable dataHashtable = new Hashtable(5);

            dataHashtable.Add(0, data);
            dataHashtable.Add(1, data);
            dataHashtable.Add(2, data);
            CWE129_Improper_Validation_of_Array_Index__negative_fixed_array_read_check_max_72b.GoodG2BSink(dataHashtable);
        }
Example #2
0
        /* goodB2G() - use BadSource and GoodSink */
        private static void GoodB2G()
        {
            int data;

            /* POTENTIAL FLAW: Set data to a negative value */
            data = -1;
            Hashtable dataHashtable = new Hashtable(5);

            dataHashtable.Add(0, data);
            dataHashtable.Add(1, data);
            dataHashtable.Add(2, data);
            CWE129_Improper_Validation_of_Array_Index__negative_fixed_array_read_check_max_72b.GoodB2GSink(dataHashtable);
        }
Example #3
0
        public override void Bad()
        {
            int data;

            /* POTENTIAL FLAW: Set data to a negative value */
            data = -1;
            Hashtable dataHashtable = new Hashtable(5);

            dataHashtable.Add(0, data);
            dataHashtable.Add(1, data);
            dataHashtable.Add(2, data);
            CWE129_Improper_Validation_of_Array_Index__negative_fixed_array_read_check_max_72b.BadSink(dataHashtable);
        }