code: def sanitize_label(self, label):
          
          (module, function, offset) = self.split_label_fuzzy(label)
          label = self.parse_label(module, function, offset)
          return label
docs: Converts a label taken from user input into a well-formed label.
  
          @type  label: str
          @param label: Label taken from user input.
  
          @rtype:  str
          @return: Sanitized label.