Member predicate TaintPreservingCallable::transfersTaint
Holds if this callable writes tainted data to sink when src is tainted.
src and sink are parameter indices, or -1 to indicate the qualifier.
predicate transfersTaint(int src, int sink)Holds if this callable writes tainted data to sink when src is tainted.
src and sink are parameter indices, or -1 to indicate the qualifier.
predicate transfersTaint(int src, int sink)