CodeQL library for C/C++
codeql/cpp-all 2.1.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)