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

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

Test Case IDCandidate199323
Bad / Good / MixedBadBad test case
AuthorToyota ITC
Good pair: 199324  
Test suite: 104  
Added byCharles Oliveira
Type of test caseSource Code
Input string
Expected Output
Instructionsgcc -Wall -I ../../../shared/104 unlock_without_lock.c unlock_without_lock_main.c -lm -lpthread
Submission date2016-07-22
DescriptionDefect Type: Concurrency defects
Defect Sub-type: Unlock without lock
Description: Defect Code to identify if a shared resource is unlocked without preceeding lock

The test case contains coincidental weaknesses along with intended ones as follows for file unlock_without_lock.c:
* line(s): 43,104,279,372 CWE-413

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

File Contains:
CWE-832: Unlock of a Resource that is not Locked on line(s): 43, 109, 201, 278, 324, 371, 471, 543
CWE-413: Improper Resource Locking on line(s): 43, 104, 279, 372