/* goodG2B() - use goodsource and badsink */
private static void GoodG2B()
{
int data = CWE369_Divide_by_Zero__int_ReadLine_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_ReadLine_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_ReadLine_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");
}
}
