Member predicate Spew::Sprinter::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)