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