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

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

Test Case IDCandidate199324
Bad / Good / MixedGoodGood test case
AuthorToyota ITC
Bad pair: 199323  
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 Free Code to identify false positives to identify if a shared resource is unlocked without preceeding lock

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, 197, 278, 324, 371, 471, 543