public override void Bad() { float data; /* FLAW: Set data to a random value */ data = (float)(float.MaxValue * 2.0 * (new Random().NextDouble() - 0.5)); CWE197_Numeric_Truncation_Error__float_random_to_short_71b.BadSink((Object)data); }