-
Notifications
You must be signed in to change notification settings - Fork 2k
Expand file tree
/
Copy pathLockedWait.ql
More file actions
34 lines (32 loc) · 931 Bytes
/
LockedWait.ql
File metadata and controls
34 lines (32 loc) · 931 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
/**
* @name A lock is held during a wait
* @description A lock is held during a call to System.Threading.Monitor.Wait(). This can lead to deadlocks and performance problems.
* @kind problem
* @problem.severity warning
* @precision high
* @id cs/locked-wait
* @tags reliability
* correctness
* concurrency
* external/cwe/cwe-662
* external/cwe/cwe-833
*/
import csharp
import Concurrency
from LockedBlock l, WaitStmt w, string lockedItem
where
l.getALockedStmt() = w and
(
exists(Variable v |
v = l.getLockVariable() and not v = w.getWaitVariable() and lockedItem = v.getName()
)
or
exists(Type t |
t = l.getLockTypeObject() and
not t = w.getWaitTypeObject() and
lockedItem = "typeof(" + t.getName() + ")"
)
or
l.isLockThis() and not w.isWaitThis() and lockedItem = "this"
)
select w, "'" + lockedItem + "' is locked during this wait."