Predicate Private::Steps::summarySetterStep

Holds if there is a (taint+)store of arg into content c of 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 semmle.python.dataflow.new.internal.FlowSummaryImpl

predicate summarySetterStep(ArgNode arg, ContentSet c, Node out, SummarizedCallable sc)