National Institute of Standards and Technology
Package illustrating a test case

Test case 154618

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: Apache Lenya
- Source Taint: FILE_CONTENTS
- Data Type: SIMPLE
- Data Flow: JAVA_GENERICS
- Control Flow: BREAK_WITH_LABEL

Flaws

Test Suites

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