Member predicate TaintTracking::TaintedNode::isSink

Holds if the underlying CFG node for this node is a vulnerable node and is vulnerable to this node’s taint.

predicate isSink()