Predicate PathInjectionConfig::isAdditionalFlowStep
Holds if data may flow from node1 to node2 in addition to the normal data-flow steps.
This step is only applicable in state1 and updates the flow state to state2.
Import path
import semmle.python.security.dataflow.PathInjectionQuerypredicate isAdditionalFlowStep(Node nodeFrom, FlowState stateFrom, Node nodeTo, FlowState stateTo)