SAMATE Logo NIST Logo The SAMATE Project Department of Homeland Security
Downloads:  Download this Test Case #154644

Back to the previous page... Back to the previous page

Test Case IDCandidate154644
Bad / Good / MixedBadBad test case
AuthorIARPA STONESOUP Test and Evaluation team
Test suite: 102  
Application: 11  
Added byCharles Oliveira
Type of test caseSource Code
Input string
Expected Output
See src/build.xml and src/maven-build.xml.
Submission date2015-10-06
DescriptionAlgorithmic 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.

- Base program: Apache Jena
- Source Taint: SOCKET
- Data Type: ARRAY
- Data Flow: INDEX_ALIAS_1

There are no comments
Have any comments on this test case? Please, .

File Contains:
CWE-833: Deadlock on line(s): 445, 446






Contact: :: Created: Jan. 2006 :: Updated: Nov. 2017 :: Version: 4.9