Predicate TaintedWithPath::taintedWithoutGlobals
Holds if tainted can be reached from a taint source without passing
through a global variable.
Import path
import semmle.code.cpp.ir.dataflow.DefaultTaintTrackingpredicate taintedWithoutGlobals(Element tainted)