/* goodB2G() - use badsource and goodsink */ private static void GoodB2G() { 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.GoodB2GSink(dataArray); }