public override void Bad() { float data; /* POTENTIAL FLAW: Set data to a random value between 0.0f (inclusive) and 1.0f (exclusive) */ Random rand = new Random(); data = (float)rand.NextDouble(); CWE369_Divide_by_Zero__float_random_modulo_54b.BadSink(data); }