Predicate MakeImplCommon::Cached::viableImplInCallContextExt

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.

Import path

import codeql.dataflow.internal.DataFlowImplCommon

Callable viableImplInCallContextExt(Call call, Call ctx)