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