Member predicate TaintTracking::TaintTracking::Configuration2::isSanitizerEdge

Holds if data flow from node1 to node2 is prohibited.

predicate isSanitizerEdge(Node node1, Node node2)