/* goodG2B() - use goodsource and badsink */ private static void GoodG2B() { float data = CWE369_Divide_by_Zero__float_random_modulo_61b.GoodG2BSource(); /* POTENTIAL FLAW: Possibly modulo by zero */ int result = (int)(100.0 % data); IO.WriteLine(result); }
public override void Bad() { float data = CWE369_Divide_by_Zero__float_random_modulo_61b.BadSource(); /* POTENTIAL FLAW: Possibly modulo by zero */ int result = (int)(100.0 % data); IO.WriteLine(result); }
/* goodB2G() - use badsource and goodsink */ private static void GoodB2G() { float data = CWE369_Divide_by_Zero__float_random_modulo_61b.GoodB2GSource(); /* FIX: Check for value of or near zero before modulo */ if (Math.Abs(data) > 0.000001) { int result = (int)(100.0 % data); IO.WriteLine(result); } else { IO.WriteLine("This would result in a modulo by zero"); } }