public override void Bad() { int data; /* POTENTIAL FLAW: Set data to a random value */ data = (new Random()).Next(); int[] dataArray = new int[5]; dataArray[2] = data; CWE191_Integer_Underflow__int_Random_sub_66b.BadSink(dataArray); }