Predicate TaintTracking::TaintFlowImplementation::tainted_uni_edge

predicate tainted_uni_edge(SingleSuccessorGuard uniphi, CallContext context, TaintedNode origin)