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