Member predicate Sanitizer::sanitizingSingleEdge
Holds if test shows value to be untainted with taint
predicate sanitizingSingleEdge(TaintKind taint, SingleSuccessorGuard test)Holds if test shows value to be untainted with taint
predicate sanitizingSingleEdge(TaintKind taint, SingleSuccessorGuard test)