Predicate TaintedPath::isAdditionalTaintedPathFlowStep
Holds if there is a step src -> dst mapping srclabel to dstlabel relevant for path traversal vulnerabilities.
Import path
import semmle.javascript.security.dataflow.TaintedPathCustomizationspredicate isAdditionalTaintedPathFlowStep(Node src, Node dst, FlowLabel srclabel, FlowLabel dstlabel)