Member predicate TaintTracking::ValidatingTaintSource::hasLocationInfo

predicate hasLocationInfo(string fp, int bl, int bc, int el, int ec)