Predicate TaintTracking::TaintFlowImplementation::tainted_def

predicate tainted_def(EssaDefinition def, CallContext context, TaintedNode origin)