/* goodB2G2() - use badsource and goodsink by reversing the blocks in the if in the sink function */
private void GoodB2G2()
{
int count = 0;
/* POTENTIAL FLAW: Set count to int.MaxValue */
count = int.MaxValue;
goodB2G2PublicStatic = true;
CWE400_Uncontrolled_Resource_Consumption__max_value_for_loop_22b.GoodB2G2Sink(count);
}
/* goodG2B() - use goodsource and badsink */
private void GoodG2B()
{
int count = 0;
/* FIX: Use a hardcoded number that won't cause underflow, overflow, divide by zero, or loss-of-precision issues */
count = 2;
goodG2BPublicStatic = true;
CWE400_Uncontrolled_Resource_Consumption__max_value_for_loop_22b.GoodG2BSink(count);
}
public override void Bad()
{
int count = 0;
/* POTENTIAL FLAW: Set count to int.MaxValue */
count = int.MaxValue;
badPublicStatic = true;
CWE400_Uncontrolled_Resource_Consumption__max_value_for_loop_22b.BadSink(count);
}
