/* goodG2B() - use goodsource and badsink */
private static void GoodG2B()
{
float data = CWE369_Divide_by_Zero__float_zero_divide_61b.GoodG2BSource();
/* POTENTIAL FLAW: Possibly divide by zero */
int result = (int)(100.0 / data);
IO.WriteLine(result);
}
public override void Bad()
{
float data = CWE369_Divide_by_Zero__float_zero_divide_61b.BadSource();
/* POTENTIAL FLAW: Possibly divide 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_zero_divide_61b.GoodB2GSource();
/* FIX: Check for value of or near zero before dividing */
if (Math.Abs(data) > 0.000001)
{
int result = (int)(100.0 / data);
IO.WriteLine(result);
}
else
{
IO.WriteLine("This would result in a divide by zero");
}
}
