Files
codeql/csharp/ql/test/library-tests/dispatch/exactCallable.ql

12 lines
430 B
Plaintext

import csharp
import semmle.code.csharp.dispatch.Dispatch
from DispatchCall call, Method m
where
call.getCall().getEnclosingCallable().getName() = "Run" and
call.getLocation().getFile().getStem() = "ExactCallable" and
strictcount(call.getADynamicTarget().getUnboundDeclaration()) = 1 and
m = call.getADynamicTarget().getUnboundDeclaration() and
m.fromSource()
select call, m.toString(), m.getDeclaringType().toString()