CodeQL library for C#
codeql/csharp-all 4.0.1-dev (changelog, source)
Search

Predicate signature InputSig::viableImplInCallContext

Gets a viable dispatch target of call in the context ctx. This is restricted to those calls for which a context might make a difference.

signature DataFlowCallable viableImplInCallContext(DataFlowCall call, DataFlowCall ctx)