Back to the previous page
Test Case ID | ![]() |
Bad / Good / Mixed | Bad![]() |
Author | IARPA STONESOUP Test and Evaluation team |
Associations | Test suite: 102 Application: 11 |
Added by | Charles Oliveira |
Language | Java |
Type of test case | Source Code |
Input string | |
Expected Output | |
Instructions | See src/build.xml and src/maven-build.xml. |
Submission date | 2015-10-06 |
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 |
File(s) |
|
Flaw |
There are no comments
Have any comments on this test case? Please,
.
- Specification.java
- runFifos.py
- service_mon.sh
- J-C833A-JENA-08-ST03-DT01-DF07-CF17-01.xml
- J-C833A-JENA-08-ST03-DT01-DF07-CF17-01.yaml
File Contains:
CWE-833: Deadlock on line(s): 445, 446
CWE-833: Deadlock on line(s): 445, 446