Member predicate Sanitizer :: sanitizingDefinition
Holds if def shows value to be untainted with taint
predicate
sanitizingDefinition
(
TaintKind
taint
,
EssaDefinition
def
)