Predicate MakeImplCommon::TypeFlow::typeFlowValidEdgeOut
Holds if the edge call-to-c is valid in the out-going direction.
Import path
import codeql.dataflow.internal.DataFlowImplCommonpredicate typeFlowValidEdgeOut(Call call, Callable c)Holds if the edge call-to-c is valid in the out-going direction.
import codeql.dataflow.internal.DataFlowImplCommonpredicate typeFlowValidEdgeOut(Call call, Callable c)