/* goodB2G() - use badsource and goodsink */ private void GoodB2G() { short data; /* POTENTIAL FLAW: Use a random value */ data = (short)(new Random().Next(short.MinValue, short.MaxValue)); CWE191_Integer_Underflow__Short_rand_multiply_54b.GoodB2GSink(data); }