public override void Bad() { short data = 0; /* POTENTIAL FLAW: Use a random value */ data = (short)(new Random().Next(short.MinValue, short.MaxValue)); badPublicStatic = true; CWE191_Integer_Underflow__Short_rand_sub_22b.BadSink(data); }