Juliet Java 1.3 with extra support Test suite #109

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 54 Data flow: data passed as an argument from one...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 61 Data flow: data returned from one method to an...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 66 Data flow: data passed in an array from one me...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 67 Data flow: data passed in a class from one met...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 68 Data flow: data passed as a member variable in...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 71 Data flow: data passed as an Object reference ...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 72 Data flow: data passed in a Vector from one me...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 73 Data flow: data passed in a LinkedList from on...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 74 Data flow: data passed in a HashMap from one m...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 75 Data flow: data passed in a serialized object ...

CWE: 606 Unchecked Input for Loop Condition BadSource: listen_tcp Read data using a listening tcp connection GoodSource: hardcoded int in string form Sinks: GoodSink: validate loop variable BadSink : loop variable not validated Flow Variant: 81 Data flow: data passed in a parameter to an ab...

The bad case doesnt perform a deep copy, so the caller can modify the value inside the class. The caller should not be able to do this since its marked final static.

Demonstrates lack of any synchronization or locks in a Servlet that updates a shared variable. Servlets are inherently multithreaded, so we dont need to actually start threads in the bad() and goodX() functions.

Use of Double Checked Locking which can fail in certain circumstances. See http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html for details.

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 01 Baseline

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 02 Control flow: if(true) and if(false)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 03 Control flow: if(5==5) and if(5!=5)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 04 Control flow: if(PRIVATE_STATIC_FINAL_TRUE) and if(PRIVATE_STATIC_FINAL_FALSE)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 05 Control flow: if(privateTrue) and if(privateFalse)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 06 Control flow: if(PRIVATE_STATIC_FINAL_FIVE==5) and if(PRIVATE_STATIC_FINAL_FIVE!=5)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 07 Control flow: if(privateFive==5) and if(privateFive!=5)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 08 Control flow: if(privateReturnsTrue()) and if(privateReturnsFalse())

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 09 Control flow: if(IO.STATIC_FINAL_TRUE) and if(IO.STATIC_FINAL_FALSE)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 10 Control flow: if(IO.staticTrue) and if(IO.staticFalse)

CWE: 613 Insufficient Session Expiration Sinks: GoodSink: force session to expire BadSink : set session to never expire Flow Variant: 11 Control flow: if(IO.staticReturnsTrue()) and if(IO.staticReturnsFalse())