Member predicate TaintTrackingImplementation::hasFlowPath

Hold if there is a flow from source, which is a taint source, to sink, which is a taint sink, with this configuration.