mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
16 lines
366 B
Plaintext
16 lines
366 B
Plaintext
/**
|
|
* @name Test for delegates
|
|
*/
|
|
|
|
import csharp
|
|
|
|
from DelegateType d
|
|
where
|
|
d.hasQualifiedName("System.Threading.ContextCallback") and
|
|
d.getNumberOfParameters() = 1 and
|
|
d.getParameter(0).hasName("state") and
|
|
d.getParameter(0).isValue() and
|
|
d.getParameter(0).getType() instanceof ObjectType and
|
|
d.getReturnType() instanceof VoidType
|
|
select d.toString()
|