Predicate TaintedPath::isAdditionalFlowStep
Holds if there is a step node1 -> node2 mapping state1 to state2 relevant for path traversal vulnerabilities.
Import path
import semmle.javascript.security.dataflow.TaintedPathCustomizationspredicate isAdditionalFlowStep(Node node1, FlowState state1, Node node2, FlowState state2)