Member predicate TaintTracking::TaintedNode::isVulnerableSink

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

predicate isVulnerableSink()