CWE: 416 Use After Free Sinks: GoodSink: Use a block of memory returned from a function BadSink : Use a block of memory returned from a function after it has been freed Flow Variant: 06 Control flow: if(static_const_five==5) and if(static_const_five!=5)

CWE: 416 Use After Free Sinks: GoodSink: Use a block of memory returned from a function BadSink : Use a block of memory returned from a function after it has been freed Flow Variant: 05 Control flow: if(static_t) and if(static_f)

CWE: 416 Use After Free Sinks: GoodSink: Use a block of memory returned from a function BadSink : Use a block of memory returned from a function after it has been freed Flow Variant: 04 Control flow: if(static_const_t) and if(static_const_f)

CWE: 416 Use After Free Sinks: GoodSink: Use a block of memory returned from a function BadSink : Use a block of memory returned from a function after it has been freed Flow Variant: 03 Control flow: if(5==5) and if(5!=5)

CWE: 416 Use After Free Sinks: GoodSink: Use a block of memory returned from a function BadSink : Use a block of memory returned from a function after it has been freed Flow Variant: 02 Control flow: if(1) and if(0)

CWE: 416 Use After Free Sinks: GoodSink: Use a block of memory returned from a function BadSink : Use a block of memory returned from a function after it has been freed Flow Variant: 01 Baseline

Exceptional Conditions

Exceptional Conditions

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 68 Data flow: data passed as a glo...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 67 Data flow: data passed in a str...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 66 Data flow: data passed in an ar...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 65 Data/control flow: data passed ...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 64 Data flow: void pointer to data...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 63 Data flow: pointer to data pass...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 62 Data flow: data flows using a C...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 61 Data flow: data returned from o...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 54 Data flow: data passed as an ar...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 53 Data flow: data passed as an ar...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 52 Data flow: data passed as an ar...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 51 Data flow: data passed as an ar...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 45 Data flow: data passed as a sta...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 44 Data/control flow: data passed ...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 43 Data flow: data flows using a C...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 42 Data flow: data returned from o...

CWE: 416 Use After Free BadSource: Allocate data using new, initialize memory block, and Deallocate data using delete GoodSource: Allocate data using new and initialize memory block Sinks: GoodSink: Do nothing BadSink : Use data after free() Flow Variant: 41 Data flow: data passed as an ar...