def StringEscape(self, string, match, **_):
    if match.group(1) in "'\"rnbt":
      self.string += string.decode("string_escape")
    else:
      self.string += string
Escape backslashes found inside a string quote.
dataset/ETHPy150Open google/grr/grr/lib/lexer.py/SearchParser.StringEscape