Deprecated test suite
Juliet Java 1.2 with extra support Test suite #87
DownloadDescription
This is a collection of test cases in the Java language. It contains examples for 112 different CWEs.NOTE: This package contains only individual test cases. We recommend to download the full test suite at the top of the "Test Suite" page. All documents related to the Juliet Test Suite can be found at the documents page
Displaying test cases 9426 - 9450 of 25477 in total
-
CWE: 193 An array index is 1 off from the max array index Sinks: while GoodSink: restrict max index value BadSink : access array index outside array max Flow Variant: 13 Control flow: if(IO.STATIC_FINAL_FIVE==5) and if(IO.STATIC_FINAL_FIVE!=5)
-
CWE: 193 An array index is 1 off from the max array index Sinks: while GoodSink: restrict max index value BadSink : access array index outside array max Flow Variant: 14 Control flow: if(IO.staticFive==5) and if(IO.staticFive!=5)
-
CWE: 193 An array index is 1 off from the max array index Sinks: while GoodSink: restrict max index value BadSink : access array index outside array max Flow Variant: 15 Control flow: switch(7)
-
CWE: 193 An array index is 1 off from the max array index Sinks: while GoodSink: restrict max index value BadSink : access array index outside array max Flow Variant: 16 Control flow: while(true)
-
CWE: 193 An array index is 1 off from the max array index Sinks: while GoodSink: restrict max index value BadSink : access array index outside array max Flow Variant: 17 Control flow: for loops
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 01 Baseline
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 02 Control flow: if(true) and if(false)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 03 Control flow: if(5==5) and if(5!=5)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 04 Control flow: if(PRIVATE_STATIC_FINAL_TRUE) and if(PRIVATE_STATIC_FINAL_FALSE)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 05 Control flow: if(privateTrue) and if(privateFalse)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 06 Control flow: if(PRIVATE_STATIC_FINAL_FIVE==5) and if(PRIVATE_STATIC_FINAL_F...
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 07 Control flow: if(privateFive==5) and if(privateFive!=5)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 08 Control flow: if(privateReturnsTrue()) and if(privateReturnsFalse())
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 09 Control flow: if(IO.STATIC_FINAL_TRUE) and if(IO.STATIC_FINAL_FALSE)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 10 Control flow: if(IO.staticTrue) and if(IO.staticFalse)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 11 Control flow: if(IO.staticReturnsTrue()) and if(IO.staticReturnsFalse())
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 12 Control flow: if(IO.staticReturnsTrueOrFalse())
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 13 Control flow: if(IO.STATIC_FINAL_FIVE==5) and if(IO.STATIC_FINAL_FIVE!=5)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 14 Control flow: if(IO.staticFive==5) and if(IO.staticFive!=5)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 15 Control flow: switch(6)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 16 Control flow: while(true)
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number BadSink: to_byte Convert data to a byte Flow Variant: 17 Control flow: for loops
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: to_byte BadSink : Convert data to a byte Flow Variant: 21 Control flow: Flow controlled by value of a private variable. All f...
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: to_byte BadSink : Convert data to a byte Flow Variant: 22 Control flow: Flow controlled by value of a public static variable....
-
CWE: 197 Numeric Truncation Error BadSource: Environment Read data from an environment variable GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: to_byte BadSink : Convert data to a byte Flow Variant: 31 Data flow: make a copy of data within the same method