public override void Bad() { ulong data; /* POTENTIAL FLAW: Use a random value */ data = IO.GetRandomULong(); CWE190_Integer_Overflow__UInt64_rand_square_53b.BadSink(data); }