Description
Defect 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
Flaws
Test Suites
Have any comments on this test case? Please, send us an email.