Member predicate Url::JoinPathMethod::hasTaintFlow
Holds if taint propagates through this function from input
to output
.
predicate hasTaintFlow(FunctionInput inp, FunctionOutput outp)
Holds if taint propagates through this function from input
to output
.
predicate hasTaintFlow(FunctionInput inp, FunctionOutput outp)