code: def get_taints(arg, taint=None):
      
  
      if not issymbolic(arg):
          return
      for arg_taint in arg.taint:
          if taint is not None:
              m = re.match(taint, arg_taint, re.DOTALL | re.IGNORECASE)
              if m:
                  yield arg_taint
          else:
              yield arg_taint
      return
docs: Helper to list an object taints.
      :param arg: a value or Expression
      :param taint: a regular expression matching a taint value (eg. 'IMPORTANT.*'). If None, this function checks for any taint value.