A module to add steps from post-update nodes.
Whenever there is a step from x to y,
we add a step from [post] x to y.
Import path
import semmle.python.dataflow.new.internal.DataFlowPrivatePredicates
Parameters
| rawStep | stepSig |
A module to add steps from post-update nodes.
Whenever there is a step from x to y,
we add a step from [post] x to y.
import semmle.python.dataflow.new.internal.DataFlowPrivate| rawStep | stepSig |