Member predicate TaintTracking::FluentMethod::returnsValue
Holds if this method returns precisely the value passed into argument arg
.
arg
is a parameter index, or is -1 to indicate the qualifier.
predicate returnsValue(int arg)
Holds if this method returns precisely the value passed into argument arg
.
arg
is a parameter index, or is -1 to indicate the qualifier.
predicate returnsValue(int arg)