Predicate TaintTracking::TaintFlowImplementation::tainted_assignment

predicate tainted_assignment(AssignmentDefinition def, CallContext context, TaintedNode origin)