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)