Juliet Java 1.3 Test suite #111
DownloadDescription
A collection of test cases in the Java language. It contains examples organized under 112 different CWEs. Version 1.3 adds test cases for increment and decrement.
All documents related to the Juliet Test Suite can be found at the documents page.
This software is not subject to copyright protection and is in the public domain. NIST assumes no responsibility whatsoever for its use by other parties, and makes no guaranties, expressed or implied, about its quality, reliability, or any other characteristic.
Pursuant to 17 USC 105, Juliet Test Suite for Java version 1.3 is not subject to copyright protection in the United States. To the extent NIST may claim Foreign Rights in Juliet Test Suite for Java version 1.3, the Test Suite is being made available to you under the CC0 1.0 Public Domain License.
Documentation
Displaying test cases 16626 - 16650 of 28881 in total
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 08 Control flow: if(privateReturnsTrue()) and if(privateReturnsFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 09 Control flow: if(IO.STATIC_FINAL_TRUE) and if(IO.STATIC_FINAL_FALSE)
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 10 Control flow: if(IO.staticTrue) and if(IO.staticFalse)
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 11 Control flow: if(IO.staticReturnsTrue()) and if(IO.staticReturnsFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 12 Control flow: if(IO.staticReturnsTrueOrFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 13 Control flow: if(IO.STATIC_FINAL_FIVE==5) and if(IO.STATIC_FINAL_FIVE!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 14 Control flow: if(IO.staticFive==5) and if(IO.staticFive!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 15 Control flow: switch(7)
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 16 Control flow: while(true)
-
CWE: 476 NULL Pointer Dereference Sinks: binary_if GoodSink: Do not check for null after the object has been dereferenced BadSink : Check for null after an object has already been dereferenced Flow Variant: 17 Control flow: for loops
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 01 Baseline
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 02 Control flow: if(true) and if(false)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 04 Control flow: if(PRIVATE_STATIC_FINAL_TRUE) and if(PRIVATE_STATIC_FINAL_FALSE)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 05 Control flow: if(privateTrue) and if(privateFalse)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 06 Control flow: if(PRIVATE_STATIC_FINAL_FIVE==5) and if(PRIVATE_STATIC_FINAL_FIVE!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 07 Control flow: if(privateFive==5) and if(privateFive!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 08 Control flow: if(privateReturnsTrue()) and if(privateReturnsFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 09 Control flow: if(IO.STATIC_FINAL_TRUE) and if(IO.STATIC_FINAL_FALSE)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 10 Control flow: if(IO.staticTrue) and if(IO.staticFalse)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 11 Control flow: if(IO.staticReturnsTrue()) and if(IO.staticReturnsFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 12 Control flow: if(IO.staticReturnsTrueOrFalse())
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 13 Control flow: if(IO.STATIC_FINAL_FIVE==5) and if(IO.STATIC_FINAL_FIVE!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 14 Control flow: if(IO.staticFive==5) and if(IO.staticFive!=5)
-
CWE: 476 NULL Pointer Dereference Sinks: deref_after_check GoodSink: Do not dereference an object if it is null BadSink : Dereference after checking to see if an object is null Flow Variant: 15 Control flow: switch(7)