mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
16 lines
401 B
Plaintext
16 lines
401 B
Plaintext
/**
|
|
* @name Test for delegate calls
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from Method m, DelegateCall e, LocalVariableAccess a
|
|
where
|
|
m.hasName("MainDelegateAndMethodAccesses") and
|
|
e.getEnclosingCallable() = m and
|
|
e.getNumberOfArguments() = 1 and
|
|
e.getExpr() = a and
|
|
a.getTarget().hasName("cd7") and
|
|
e.getArgument(0).(AddExpr).getRightOperand().(LocalVariableAccess).getTarget().hasName("x")
|
|
select m, e, a
|