CodeQL library for C#
codeql/csharp-all 3.1.2-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)