Member predicate TaintTracking :: Configuration :: isSanitizerEdge
Holds if the edge from pred
to succ
is a taint sanitizer for data labelled with lbl
.
predicate
isSanitizerEdge
(
Node
pred
,
Node
succ
,
FlowLabel
lbl
)