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
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: float2int GoodSink: check value before conversion BadSink : conversion may be unsafe Flow Variant: 13 Control flow: if(IO.STATIC_FINAL_FIVE==5) and if(IO.STATIC_FINAL_FIVE!=5)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: float2int GoodSink: check value before conversion BadSink : conversion may be unsafe Flow Variant: 14 Control flow: if(IO.staticFive==5) and if(IO.staticFive!=5)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: float2int GoodSink: check value before conversion BadSink : conversion may be unsafe Flow Variant: 15 Control flow: switch(7)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: float2int GoodSink: check value before conversion BadSink : conversion may be unsafe Flow Variant: 16 Control flow: while(true)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: float2int GoodSink: check value before conversion BadSink : conversion may be unsafe Flow Variant: 17 Control flow: for loops
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 01 Baseline
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 02 Control flow: if(true) and if(false)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 04 Control flow: if(PRIVATE_STATIC_FINAL_TRUE) and if(PRIVATE_STATIC_FINAL_FALSE)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 05 Control flow: if(privateTrue) and if(privateFalse)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 06 Control flow: if(PRIVATE_STATIC_FINAL_FIVE==5) and if(PRIVATE_STATIC_FINAL_FIVE!=5)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 07 Control flow: if(privateFive==5) and if(privateFive!=5)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 08 Control flow: if(privateReturnsTrue()) and if(privateReturnsFalse())
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 09 Control flow: if(IO.STATIC_FINAL_TRUE) and if(IO.STATIC_FINAL_FALSE)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 10 Control flow: if(IO.staticTrue) and if(IO.staticFalse)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 11 Control flow: if(IO.staticReturnsTrue()) and if(IO.staticReturnsFalse())
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 12 Control flow: if(IO.staticReturnsTrueOrFalse())
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 13 Control flow: if(IO.STATIC_FINAL_FIVE==5) and if(IO.STATIC_FINAL_FIVE!=5)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 14 Control flow: if(IO.staticFive==5) and if(IO.staticFive!=5)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 15 Control flow: switch(7)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 16 Control flow: while(true)
-
CWE: 681 Incorrect Conversion Between Numeric Types Sinks: floatNaN2int GoodSink: check for negative sqrt BadSink : sqrt to unchecked value Flow Variant: 17 Control flow: for loops
-
CWE: 690 Unchecked return value is null, leading to a null pointer dereference. BadSource: Use a custom method which may return null GoodSource: Use a custom method that never returns null Sinks: trim GoodSink: Check data for null before calling trim() BadSink : Call trim() on possibly null...
-
CWE: 690 Unchecked return value is null, leading to a null pointer dereference. BadSource: Use a custom method which may return null GoodSource: Use a custom method that never returns null Sinks: trim GoodSink: Check data for null before calling trim() BadSink : Call trim() on possibly null...
-
CWE: 690 Unchecked return value is null, leading to a null pointer dereference. BadSource: Use a custom method which may return null GoodSource: Use a custom method that never returns null Sinks: trim GoodSink: Check data for null before calling trim() BadSink : Call trim() on possibly null...