Member predicate TaintTracking::Configuration::isBarrierEdge

Holds if flow from src to dest is prohibited when the incoming taint is srckind and the outgoing taint is destkind. Note that srckind and destkind can be the same.