Test case 154644

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 Jena
- Source Taint: SOCKET
- Data Type: ARRAY
- Data Flow: INDEX_ALIAS_1
- Control Flow: INTERUPT_CONTINUE