/* goodG2B() - use goodsource and badsink */ public static void GoodG2BSink(CWE369_Divide_by_Zero__int_QueryString_Web_divide_67a.Container dataContainer, HttpRequest req, HttpResponse resp) { int data = dataContainer.containerOne; /* POTENTIAL FLAW: Zero denominator will cause an issue. An integer division will * result in an exception. */ IO.WriteLine("bad: 100/" + data + " = " + (100 / data) + "\n"); }
/* goodB2G() - use badsource and goodsink */ public static void GoodB2GSink(CWE369_Divide_by_Zero__int_QueryString_Web_divide_67a.Container dataContainer, HttpRequest req, HttpResponse resp) { int data = dataContainer.containerOne; /* FIX: test for a zero denominator */ if (data != 0) { IO.WriteLine("100/" + data + " = " + (100 / data) + "\n"); } else { IO.WriteLine("This would result in a divide by zero"); } }