Member predicate TaintTracking::AdditionalDataFlowNode::nodeAt
Holds if an additional node is needed in relation to e
. The pair (e,id)
must uniquely identify the node.
The added node can be selected for use in a predicate by the corresponding
DataFlow::AdditionalNode.nodeAt(Expr e, string id)
predicate.