public override void Bad() { int data; /* POTENTIAL FLAW: Set data to a random value */ data = (new Random()).Next(); CWE129_Improper_Validation_of_Array_Index__Random_array_read_check_min_51b.BadSink(data); }