Predicate TaintTracking::TaintFlowImplementation::tainted_attribute_assignment

predicate tainted_attribute_assignment(AttributeAssignment def, CallContext context, TaintedNode origin)