mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
20 lines
320 B
Plaintext
20 lines
320 B
Plaintext
import cpp
|
|
import testoptions
|
|
|
|
from FunctionCall call, string s, Expr arg
|
|
where
|
|
(
|
|
s = "lockCall" and
|
|
lockCall(arg, call)
|
|
) or (
|
|
s = "mustlockCall" and
|
|
mustlockCall(arg, call)
|
|
) or (
|
|
s = "trylockCall" and
|
|
trylockCall(arg, call)
|
|
) or (
|
|
s = "unlockCall" and
|
|
unlockCall(arg, call)
|
|
)
|
|
select call, s, arg
|