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)