Predicate TaintTracking::TaintFlowImplementation::tainted_with

predicate tainted_with(WithDefinition def, CallContext context, TaintedNode origin)