/* goodB2G() - use badsource and goodsink */ private void GoodB2G() { uint data; /* POTENTIAL FLAW: Use a random value */ data = (uint)(new Random().Next(1 << 30)) << 2 | (uint)(new Random().Next(1 << 2)); CWE190_Integer_Overflow__UInt32_rand_square_52b.GoodB2GSink(data); }