Predicate TaintTracking::TaintFlowImplementation::tainted_callsite

predicate tainted_callsite(CallsiteRefinement call, CallContext context, TaintedNode origin)