National Institute of Standards and Technology
Package illustrating a test case

Test case 155073

Description

This test takes in a value from a taint source.
The value is truncated to an integer, and then used to generate
a random number within a range. If the converted integer value
is negative, SecureRandom.nextInt(value) will throw a
RuntimeException.
Metadata
- Base program: JTree
- Source Taint: ENVIRONMENT_VARIABLE
- Data Type: SIMPLE
- Data Flow: BASIC
- Control Flow: SEQUENCE

Flaws

Test Suites

Documentation

Have any comments on this test case? Please, send us an email.