Juliet Java 1.3 with extra support Test suite #109
DownloadDescription
A collection of Java test cases updated from Juliet 1.2
Documentation
Displaying test cases 4001 - 4025 of 28881 in total
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 129 Improper Validation of Array Index BadSource: random Set data to a random value GoodSource: A hardcoded non-zero, non-min, non-max, even number Sinks: array_write_no_check GoodSink: Write to array after verifying index BadSink : Write to array without any verification of index Flow...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 01 Baseline
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 02 Control flow: if(true)...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 03 Control flow: if(5==5)...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 04 Control flow: if(PRIVA...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 05 Control flow: if(priva...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 06 Control flow: if(PRIVA...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 07 Control flow: if(priva...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 08 Control flow: if(priva...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 09 Control flow: if(IO.ST...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 10 Control flow: if(IO.st...
-
CWE: 134 Uncontrolled Format String BadSource: Environment Read data from an environment variable GoodSource: A hardcoded string Sinks: format GoodSink: dynamic formatted stdout with string defined BadSink : dynamic formatted stdout without validation Flow Variant: 11 Control flow: if(IO.st...