9 "golang.org/x/text/unicode/norm"
11 "github.com/mjl-/mox/dns"
12 "github.com/mjl-/mox/smtp"
15// Pedantic enables stricter parsing.
20func (e parseErr) Error() string {
24var _ error = parseErr("")
28 o int // Offset into s.
29 tracked string // All data consumed, except when "drop" is true. To be set by caller when parsing the value for "b=".
31 smtputf8 bool // If set, allow characters > 0x7f.
34func (p *parser) xerrorf(format string, args ...any) {
35 msg := fmt.Sprintf(format, args...)
37 msg = fmt.Sprintf("%s (leftover %q)", msg, p.s[p.o:])
42func (p *parser) track(s string) {
48func (p *parser) hasPrefix(s string) bool {
49 return strings.HasPrefix(p.s[p.o:], s)
52func (p *parser) xtaken(n int) string {
59func (p *parser) xtakefn(ignoreFWS bool, fn func(c rune, i int) bool) string {
61 for i, c := range p.s[p.o:] {
64 case ' ', '\t', '\r', '\n':
72 p.xtaken(len(p.s) - p.o)
76func (p *parser) empty() bool {
77 return p.o >= len(p.s)
80func (p *parser) xnonempty() {
82 p.xerrorf("expected at least 1 more char")
86func (p *parser) xtakefn1(ignoreFWS bool, fn func(c rune, i int) bool) string {
89 for i, c := range p.s[p.o:] {
92 case ' ', '\t', '\r', '\n':
96 p.xerrorf("expected at least 1 char")
103 return p.xtaken(len(p.s) - p.o)
106func (p *parser) wsp() {
107 p.xtakefn(false, func(c rune, i int) bool {
108 return c == ' ' || c == '\t'
112func (p *parser) fws() {
114 if p.hasPrefix("\r\n ") || p.hasPrefix("\r\n\t") {
120// peekfws returns whether remaining text starts with s, optionally prefix with fws.
121func (p *parser) peekfws(s string) bool {
129func (p *parser) xtake(s string) string {
130 if !strings.HasPrefix(p.s[p.o:], s) {
131 p.xerrorf("expected %q", s)
133 return p.xtaken(len(s))
136func (p *parser) take(s string) bool {
137 if strings.HasPrefix(p.s[p.o:], s) {
146func (p *parser) xtagName() string {
147 return p.xtakefn1(false, func(c rune, i int) bool {
148 return isalpha(c) || i > 0 && (isdigit(c) || c == '_')
152func (p *parser) xalgorithm() (string, string) {
154 xtagx := func(c rune, i int) bool {
155 return isalpha(c) || i > 0 && isdigit(c)
157 algk := p.xtakefn1(false, xtagx)
159 algv := p.xtakefn1(false, xtagx)
163// fws in value is ignored. empty/no base64 characters is valid.
166func (p *parser) xbase64() []byte {
168 p.xtakefn(false, func(c rune, i int) bool {
169 if isalphadigit(c) || c == '+' || c == '/' || c == '=' {
173 if c == ' ' || c == '\t' {
177 if strings.HasPrefix(rem, "\r\n ") || strings.HasPrefix(rem, "\r\n\t") {
180 if (strings.HasPrefix(rem, "\n ") || strings.HasPrefix(rem, "\n\t")) && p.o+i-1 > 0 && p.s[p.o+i-1] == '\r' {
185 buf, err := base64.StdEncoding.DecodeString(s)
187 p.xerrorf("decoding base64: %v", err)
192// parses canonicalization in original case.
193func (p *parser) xcanonical() string {
195 s := p.xhyphenatedWord()
197 return s + "/" + p.xhyphenatedWord()
202func (p *parser) xdomainselector(isselector bool) dns.Domain {
203 subdomain := func(c rune, i int) bool {
205 // dkim selectors with underscores happen in the wild, accept them when not in
207 return isalphadigit(c) || (i > 0 && (c == '-' || isselector && !Pedantic && c == '_') && p.o+1 < len(p.s))
209 var s strings.Builder
210 s.WriteString(p.xtakefn1(false, subdomain))
211 for p.hasPrefix(".") {
212 s.WriteString(p.xtake(".") + p.xtakefn1(false, subdomain))
215 // Not to be interpreted as IDNA.
216 return dns.Domain{ASCII: strings.ToLower(s.String())}
218 d, err := dns.ParseDomain(s.String())
220 p.xerrorf("parsing domain %q: %s", s.String(), err)
225func (p *parser) xdomain() dns.Domain {
226 return p.xdomainselector(false)
229func (p *parser) xselector() dns.Domain {
230 return p.xdomainselector(true)
233func (p *parser) xhdrName(ignoreFWS bool) string {
236 // BNF for hdr-name (field-name) allows ";", but DKIM disallows unencoded semicolons.
../rfc/6376:643
238 return p.xtakefn1(ignoreFWS, func(c rune, i int) bool {
239 return c > ' ' && c < 0x7f && c != ':' && c != ';'
243func (p *parser) xsignedHeaderFields() []string {
245 l := []string{p.xhdrName(false)}
250 l = append(l, p.xhdrName(false))
255func (p *parser) xauid() Identity {
257 // Localpart is optional.
259 return Identity{Domain: p.xdomain()}
264 return Identity{&lp, dom}
267// todo: reduce duplication between implementations: ../smtp/address.go:/xlocalpart ../dkim/parser.go:/xlocalpart ../smtpserver/parse.go:/xlocalpart
268func (p *parser) xlocalpart() smtp.Localpart {
272 if p.hasPrefix(`"`) {
273 s = p.xquotedString()
280 // In the wild, some services use large localparts for generated (bounce) addresses.
281 if Pedantic && len(s) > 64 || len(s) > 128 {
283 p.xerrorf("localpart longer than 64 octets")
285 return smtp.Localpart(norm.NFC.String(s))
288func (p *parser) xquotedString() string {
295 if c >= ' ' && c < 0x7f {
300 p.xerrorf("invalid localpart, bad escaped char %c", c)
309 if c >= ' ' && c < 0x7f && c != '\\' && c != '"' || (c > 0x7f && p.smtputf8) {
313 p.xerrorf("invalid localpart, invalid character %c", c)
317func (p *parser) xchar() rune {
318 // We are careful to track invalid utf-8 properly.
320 p.xerrorf("need another character")
324 for i, c := range p.s[p.o:] {
335 p.track(p.s[p.o : p.o+o])
341func (p *parser) xatom() string {
342 return p.xtakefn1(false, func(c rune, i int) bool {
344 case '!', '#', '$', '%', '&', '\'', '*', '+', '-', '/', '=', '?', '^', '_', '`', '{', '|', '}', '~':
347 return isalphadigit(c) || (c > 0x7f && p.smtputf8)
351func (p *parser) xbodyLength() int64 {
356func (p *parser) xnumber(maxdigits int) int64 {
358 for i, c := range p.s[p.o:] {
359 if c >= '0' && c <= '9' {
366 p.xerrorf("expected digits")
369 p.xerrorf("too many digits")
371 v, err := strconv.ParseInt(p.xtaken(o+1), 10, 64)
373 p.xerrorf("parsing digits: %s", err)
378func (p *parser) xqueryMethods() []string {
380 l := []string{p.xqtagmethod()}
384 l = append(l, p.xqtagmethod())
389func (p *parser) xqtagmethod() string {
391 s := p.xhyphenatedWord()
392 // ABNF production "x-sig-q-tag-args" should probably just have been
393 // "hyphenated-word". As qp-hdr-value, it will consume ":". A similar problem does
394 // not occur for "z" because it is also "|"-delimited. We work around the potential
395 // issue by parsing "dns/txt" explicitly.
397 if strings.EqualFold(s, "dns") && len(rem) >= len("/txt") && strings.EqualFold(rem[:len("/txt")], "/txt") {
399 } else if p.take("/") {
400 s += "/" + p.xqp(true, true, false)
405func isalpha(c rune) bool {
406 return c >= 'a' && c <= 'z' || c >= 'A' && c <= 'Z'
409func isdigit(c rune) bool {
410 return c >= '0' && c <= '9'
413func isalphadigit(c rune) bool {
414 return isalpha(c) || isdigit(c)
418func (p *parser) xhyphenatedWord() string {
419 return p.xtakefn1(false, func(c rune, i int) bool {
420 return isalpha(c) || i > 0 && isdigit(c) || i > 0 && c == '-' && p.o+i+1 < len(p.s) && isalphadigit(rune(p.s[p.o+i+1]))
425func (p *parser) xqphdrvalue(ignoreFWS bool) string {
426 return p.xqp(true, false, ignoreFWS)
429func (p *parser) xqpSection() string {
430 return p.xqp(false, false, false)
433// dkim-quoted-printable (pipeEncoded true) or qp-section.
435// It is described in terms of (lots of) modifications to MIME quoted-printable,
436// but it may be simpler to just ignore that reference.
438// ignoreFWS is required for "z=", which can have FWS anywhere.
439func (p *parser) xqp(pipeEncoded, colonEncoded, ignoreFWS bool) string {
442 hex := func(c byte) rune {
443 if c >= '0' && c <= '9' {
446 return rune(10 + c - 'A')
449 var s strings.Builder
452 if pipeEncoded && p.hasPrefix("|") {
455 if colonEncoded && p.hasPrefix(":") {
459 h := p.xtakefn(ignoreFWS, func(c rune, i int) bool {
460 return i < 2 && (c >= '0' && c <= '9' || c >= 'A' && c <= 'Z')
463 p.xerrorf("expected qp-hdr-value")
465 c := (hex(h[0]) << 4) | hex(h[1])
466 s.WriteString(string(c))
469 x := p.xtakefn(ignoreFWS, func(c rune, i int) bool {
470 return c > ' ' && c < 0x7f && c != ';' && c != '=' && !(pipeEncoded && c == '|')
480func (p *parser) xtimestamp() int64 {
485func (p *parser) xcopiedHeaderFields() []string {
487 l := []string{p.xztagcopy()}
488 for p.hasPrefix("|") {
491 l = append(l, p.xztagcopy())
496func (p *parser) xztagcopy() string {
497 // ABNF does not mention FWS (unlike for other fields), but FWS is allowed everywhere in the value...
499 f := p.xhdrName(true)
502 v := p.xqphdrvalue(true)