National Institute of Standards and Technology
Package illustrating a test case

Test case 154702

Description

Algorithmic variant: basic
Root cause: none
This test takes a string. If the first letter is a lower case letter, the main thread will get a lock guarding an integer, and count the number of lower-case letters into that integer. A second thread will get a lock guarding a second integer, and will count the number of upper-case letters into that integer.
If the first letter is an upper case letter, both threads will attempt to get the same lock, resulting in a deadlock.
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.