Predicate TaintTracking::TaintFlowImplementation::tainted_phi

predicate tainted_phi(PhiFunction phi, CallContext context, TaintedNode origin)