Predicate Make::Private::Steps::summaryGetterStep
Holds if there is a read(+taint) of c from arg to out using a
flow summary.
NOTE: This step should not be used in global data-flow/taint-tracking, but may be useful to include in the exposed local data-flow/taint-tracking relations.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryGetterStep(ArgNode arg, ContentSet c, Node out, SummarizedCallable sc)