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