CWE: 400 Resource Exhaustion Sinks: heap GoodSink: threshold for memory consumption BadSink : no threshold for memory consumption Flow Variant: 04 Control flow: if(private_final_t) and if(private_final_f)

CWE: 400 Resource Exhaustion Sinks: heap GoodSink: threshold for memory consumption BadSink : no threshold for memory consumption Flow Variant: 03 Control flow: if(5==5) and if(5!=5)

CWE: 400 Resource Exhaustion Sinks: heap GoodSink: threshold for memory consumption BadSink : no threshold for memory consumption Flow Variant: 02 Control flow: if(true) and if(false)

CWE: 400 Resource Exhaustion Sinks: heap GoodSink: threshold for memory consumption BadSink : no threshold for memory consumption Flow Variant: 01 Baseline

Throw an overly-broad exception (in this case, Throwable). This is a manual test case because generated test cases are all in methods that throw Throwable and we want to avoid that since it is related to this CWE.

Throw an overly-broad exception (in this case, Throwable). This is a manual test case because generated test cases are all in methods that throw Throwable and we want to avoid that since it is related to this CWE.

Declare that the function throws "Exception" rather than a specific exception. In this test case, we don't actually throw an exception to differentiate it from other test cases.

Declare that the function throws "Exception" rather than a specific exception. In this test case, we don't actually throw an exception to differentiate it from other test cases.

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 19 Control flow: Dead code after...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 17 Control flow: for loops

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 16 Control flow: while(true) and...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 15 Control flow: switch(7)

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 14 Control flow: if(IO.static_fi...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 13 Control flow: if(IO.static_fi...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 12 Control flow: if(IO.static_re...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 11 Control flow: if(IO.static_re...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 10 Control flow: if(IO.static_t)...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 09 Control flow: if(IO.static_fi...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 08 Control flow: if(private_retu...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 07 Control flow: if(private_five...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 06 Control flow: if(private_fina...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 05 Control flow: if(private_t) a...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 04 Control flow: if(private_fina...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 03 Control flow: if(5==5) and if...

CWE: 396 An overly broad catch statement may cause errors in program execution if unexpected exceptions are thrown Sinks: Throwable GoodSink: Catch specific exception type (NumberFormatException) BadSink : Catch Throwable, which is overly generic Flow Variant: 02 Control flow: if(true) and if...