Member predicate TaintTracking::Configuration::isSanitizerEdge
Holds if the edge from pred
to succ
is a taint sanitizer.
predicate isSanitizerEdge(Node pred, Node succ)
Holds if the edge from pred
to succ
is a taint sanitizer.
predicate isSanitizerEdge(Node pred, Node succ)