/* goodB2G() - use badsource and goodsink */ private void GoodB2G() { int data; /* POTENTIAL FLAW: Set data to a random value */ data = (new Random()).Next(); CWE129_Improper_Validation_of_Array_Index__Random_array_write_no_check_53b.GoodB2GSink(data); }