/* goodB2G() - use badsource and goodsink */ private void GoodB2G() { uint data; /* POTENTIAL FLAW: Use the maximum size of the data type */ data = uint.MaxValue; CWE190_Integer_Overflow__UInt32_max_multiply_54b.GoodB2GSink(data); }