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