Predicate TaintTracking::TaintFlowImplementation::tainted_argument

predicate tainted_argument(ArgumentRefinement def, CallContext context, TaintedNode origin)