Predicate TaintTracking::TaintFlowImplementation::tainted_var

predicate tainted_var(EssaVariable var, CallContext context, TaintedNode origin)