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