Description
Defect Type: Concurrency defects
Defect Sub-type: Locked but never unlock
Description: Defect Free Code to identify false positives while there has been a lock of a resource and never unlocked scenario
The test case contains coincidental weaknesses along with intended ones as follows for file lock_never_unlock.c:
* line(s): 151,210,229,307,325,368,392,445,469,521,545 CWE-843
Flaws
Test Suites
Have any comments on this test case? Please, send us an email.