/* goodG2B() - use goodsource and badsink */ private static void GoodG2B() { int data = CWE369_Divide_by_Zero__int_Random_modulo_61b.GoodG2BSource(); /* POTENTIAL FLAW: Zero modulus will cause an issue. An integer division will * result in an exception. */ IO.WriteLine("100%" + data + " = " + (100 % data) + "\n"); }
public override void Bad() { int data = CWE369_Divide_by_Zero__int_Random_modulo_61b.BadSource(); /* POTENTIAL FLAW: Zero modulus will cause an issue. An integer division will * result in an exception. */ IO.WriteLine("100%" + data + " = " + (100 % data) + "\n"); }
/* goodB2G() - use badsource and goodsink */ private static void GoodB2G() { int data = CWE369_Divide_by_Zero__int_Random_modulo_61b.GoodB2GSource(); /* FIX: test for a zero modulus */ if (data != 0) { IO.WriteLine("100%" + data + " = " + (100 % data) + "\n"); } else { IO.WriteLine("This would result in a modulo by zero"); } }