CWE: 572 Call to Thread run instead of Thread start Sinks: GoodSink: calls thread start BadSink : calls thread run Flow Variant: 02 Control flow: if(true) and if(false)

CWE: 572 Call to Thread run instead of Thread start Sinks: GoodSink: calls thread start BadSink : calls thread run Flow Variant: 01 Baseline

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to true

statement always evaluates to false

statement always evaluates to false

statement always evaluates to false

statement always evaluates to false

statement always evaluates to false

statement always evaluates to false

statement always evaluates to false