Member predicate Sanitizer :: sanitizingCall
Holds if call
removes the taint
predicate
sanitizingCall
(
TaintKind
taint
,
FunctionObject
callee
)