Member predicate TaintTracking::TaintTracking::Configuration2::isBarrierEdge

Holds if data flow from node1 to node2 is prohibited.

predicate isBarrierEdge(Node node1, Node node2)