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

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

Test Case IDCandidate199256
Bad / Good / MixedGoodGood test case
AuthorToyota ITC
Bad pair: 199255  
Test suite: 104  
Added byCharles Oliveira
Type of test caseSource Code
Input string
Expected Output
Instructionsgcc -Wall -I ../../../shared/104 double_lock.c double_lock_main.c -lm -lpthread
Submission date2016-07-22
DescriptionDefect Type: Concurrency defects
Defect Sub-type: Double lock
Description: Defect Free Code to identify false positives in double lock - concurrency defects

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

File Contains:
CWE-667: Improper Locking on line(s): 44, 95, 142, 212