Member predicate Protobuf::GetMethod::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)