11 "golang.org/x/text/unicode/norm"
13 "github.com/mjl-/mox/dns"
14 "github.com/mjl-/mox/mox-"
15 "github.com/mjl-/mox/smtp"
18// Parser holds the original string and string with ascii a-z upper-cased for easy
19// case-insensitive parsing.
23 o int // Offset into orig/upper.
24 smtputf8 bool // Whether SMTPUTF8 extension is enabled, making IDNA domains and utf8 localparts valid.
26 utf8LocalpartCode int // If non-zero, error for utf-8 localpart when smtputf8 not enabled.
29// toUpper upper cases bytes that are a-z. strings.ToUpper does too much. and
30// would replace invalid bytes with unicode replacement characters, which would
31// break our requirement that offsets into the original and upper case strings
32// point to the same character.
33func toUpper(s string) string {
36 if c >= 'a' && c <= 'z' {
43func newParser(s string, smtputf8 bool, conn *conn) *parser {
44 return &parser{orig: s, upper: toUpper(s), smtputf8: smtputf8, conn: conn}
47func (p *parser) xerrorf(format string, args ...any) {
48 // For submission, send the remaining unparsed line. Otherwise, only log it.
50 errmsg := "bad syntax: " + fmt.Sprintf(format, args...)
51 remaining := fmt.Sprintf(" (remaining %q)", p.orig[p.o:])
52 if p.conn.account != nil {
54 err = errors.New(errmsg)
56 err = errors.New(errmsg + remaining)
60 panic(smtpError{smtp.C501BadParamSyntax, smtp.SeProto5Syntax2, errmsg, err, false, true})
63func (p *parser) xutf8localparterrorf() {
64 code := p.utf8LocalpartCode
66 code = smtp.C550MailboxUnavail
69 xsmtpUserErrorf(code, smtp.SeMsg6NonASCIIAddrNotPermitted7, "non-ascii address not permitted without smtputf8")
72func (p *parser) empty() bool {
73 return p.o == len(p.orig)
76// note: use xend() for check for end of line with remaining white space, to be used by commands.
77func (p *parser) xempty() {
78 if p.o != len(p.orig) {
79 p.xerrorf("expected end of line")
83// check we are at the end of a command.
84func (p *parser) xend() {
85 // For submission, we are strict.
86 if p.conn.submission {
91 for _, c := range rem {
92 if c != ' ' && c != '\t' {
93 p.xerrorf("trailing data, not white space: %q", rem)
98func (p *parser) hasPrefix(s string) bool {
99 return strings.HasPrefix(p.upper[p.o:], s)
102func (p *parser) take(s string) bool {
110func (p *parser) xtake(s string) {
112 p.xerrorf("expected %q", s)
116func (p *parser) space() bool {
120func (p *parser) xspace() {
124func (p *parser) xtaken(n int) string {
125 r := p.orig[p.o : p.o+n]
130func (p *parser) remainder() string {
136func (p *parser) peekchar() rune {
137 for _, c := range p.upper[p.o:] {
143func (p *parser) xtakefn1(what string, fn func(c rune, i int) bool) string {
145 p.xerrorf("need at least one char for %s", what)
147 for i, c := range p.upper[p.o:] {
150 p.xerrorf("expected at least one char for %s", what)
158func (p *parser) xtakefn1case(what string, fn func(c rune, i int) bool) string {
160 p.xerrorf("need at least one char for %s", what)
162 for i, c := range p.orig[p.o:] {
165 p.xerrorf("expected at least one char for %s", what)
173func (p *parser) xtakefn(fn func(c rune, i int) bool) string {
174 for i, c := range p.upper[p.o:] {
182// xrawReversePath returns the raw string between the <>'s. We cannot parse it
183// immediately, because if this is an IDNA (internationalization) address, we would
184// only see the SMTPUTF8 indicator after having parsed the reverse path here. So we
185// parse the raw data here, and validate it after having seen all parameters.
187func (p *parser) xrawReversePath() string {
189 s := p.xtakefn(func(c rune, i int) bool {
196// xbareReversePath parses a reverse-path without <>, as returned by
197// xrawReversePath. It takes smtputf8 into account.
199func (p *parser) xbareReversePath() smtp.Path {
204 p.utf8LocalpartCode = smtp.C550MailboxUnavail
206 p.utf8LocalpartCode = 0
211func (p *parser) xforwardPath() smtp.Path {
213 p.utf8LocalpartCode = smtp.C553BadMailbox
215 p.utf8LocalpartCode = 0
221func (p *parser) xpath() smtp.Path {
228 p.xerrorf("path longer than 256 octets")
233func (p *parser) xbarePath() smtp.Path {
234 // We parse but ignore any source routing.
248func (p *parser) xdomain() dns.Domain {
249 var s strings.Builder
250 s.WriteString(p.xsubdomain())
252 s.WriteString("." + p.xsubdomain())
254 d, err := dns.ParseDomain(s.String())
256 p.xerrorf("parsing domain name %q: %s", s.String(), err)
258 if len(s.String()) > 255 {
260 p.xerrorf("domain longer than 255 octets")
266func (p *parser) xsubdomain() string {
267 return p.xtakefn1("subdomain", func(c rune, i int) bool {
268 return c >= '0' && c <= '9' || c >= 'A' && c <= 'Z' || i > 0 && c == '-' || c > 0x7f && p.smtputf8
273func (p *parser) xmailbox() smtp.Path {
274 localpart := p.xlocalpart()
276 return smtp.Path{Localpart: localpart, IPDomain: p.xipdomain(false)}
280func (p *parser) xldhstr() string {
281 s := p.xtakefn1("ldh-str", func(c rune, i int) bool {
282 return c >= 'A' && c <= 'Z' || c >= '0' && c <= '9' || c == '-'
285 p.xerrorf("empty ldh-str")
286 } else if strings.HasSuffix(s, "-") {
293// parse address-literal or domain.
294func (p *parser) xipdomain(isehlo bool) dns.IPDomain {
300 if !(c >= '0' && c <= '9') {
301 addrlit := p.xldhstr()
303 if !strings.EqualFold(addrlit, "IPv6") {
304 p.xerrorf("unrecognized address literal %q", addrlit)
308 ipaddr := p.xtakefn1("address literal", func(c rune, i int) bool {
312 ip := net.ParseIP(ipaddr)
314 p.xerrorf("invalid ip in address: %q", ipaddr)
316 isv4 := ip.To4() != nil
317 isAllowedSloppyIPv6Submission := func() bool {
318 // Mail user agents that submit are relatively likely to use IPs in EHLO and forget
319 // that an IPv6 address needs to be tagged as such. We can forgive them. For
320 // SMTP servers we are strict.
321 return isehlo && p.conn.submission && !mox.Pedantic && ip.To16() != nil
324 p.xerrorf("ip address is not ipv6")
325 } else if !ipv6 && !isv4 && !isAllowedSloppyIPv6Submission() {
326 if ip.To16() != nil {
327 p.xerrorf("ip address is ipv6, must use syntax [IPv6:...]")
329 p.xerrorf("ip address is not ipv4")
332 return dns.IPDomain{IP: ip}
334 return dns.IPDomain{Domain: p.xdomain()}
337// todo: reduce duplication between implementations: ../smtp/address.go:/xlocalpart ../dkim/parser.go:/xlocalpart ../smtpserver/parse.go:/xlocalpart
338func (p *parser) xlocalpart() smtp.Localpart {
341 if p.hasPrefix(`"`) {
342 s = p.xquotedString(true)
346 s += "." + p.xatom(true)
349 // In the wild, some services use large localparts for generated (bounce) addresses.
350 if mox.Pedantic && len(s) > 64 || len(s) > 128 {
352 p.xerrorf("localpart longer than 64 octets")
354 return smtp.Localpart(norm.NFC.String(s))
358func (p *parser) xquotedString(islocalpart bool) string {
365 if c >= ' ' && c < 0x7f {
370 p.xerrorf("invalid localpart, bad escaped char %c", c)
380 if islocalpart && c > 0x7f && !p.smtputf8 {
381 p.xutf8localparterrorf()
383 if c >= ' ' && c < 0x7f && c != '\\' && c != '"' || (c > 0x7f && p.smtputf8) {
387 p.xerrorf("invalid localpart, invalid character %c", c)
391func (p *parser) xchar() rune {
392 // We are careful to track invalid utf-8 properly.
394 p.xerrorf("need another character")
398 for i, c := range p.orig[p.o:] {
414func (p *parser) xatom(islocalpart bool) string {
415 return p.xtakefn1("atom", func(c rune, i int) bool {
417 case '!', '#', '$', '%', '&', '\'', '*', '+', '-', '/', '=', '?', '^', '_', '`', '{', '|', '}', '~':
420 if islocalpart && c > 0x7f && !p.smtputf8 {
421 p.xutf8localparterrorf()
423 return c >= '0' && c <= '9' || c >= 'A' && c <= 'Z' || (c > 0x7f && p.smtputf8)
428func (p *parser) xstring() string {
429 if p.peekchar() == '"' {
430 return p.xquotedString(false)
432 return p.xatom(false)
436func (p *parser) xparamKeyword() string {
437 return p.xtakefn1("parameter keyword", func(c rune, i int) bool {
438 return c >= '0' && c <= '9' || c >= 'A' && c <= 'Z' || (i > 0 && c == '-')
443func (p *parser) xparamValue() string {
444 return p.xtakefn1("parameter value", func(c rune, i int) bool {
445 return c > ' ' && c < 0x7f && c != '=' || (c > 0x7f && p.smtputf8)
449// for smtp parameters that take a numeric parameter with specified number of
450// digits, eg SIZE=... for MAIL FROM.
451func (p *parser) xnumber(maxDigits int, allowZero bool) int64 {
452 s := p.xtakefn1("number", func(c rune, i int) bool {
453 return (c >= '1' && c <= '9' || c == '0' && (i > 0 || allowZero)) && i < maxDigits
455 v, err := strconv.ParseInt(s, 10, 64)
457 p.xerrorf("bad number %q: %s", s, err)
463func (p *parser) xdatetimeutc() (time.Time, string) {
465 xdash := func() string {
469 xcolon := func() string {
473 xdigits := func(n int) string {
474 s := p.xtakefn1("digits", func(c rune, i int) bool {
475 return c >= '0' && c <= '9' && i < n
478 p.xerrorf("parsing date-time: got %d digits, need %d", len(s), n)
482 s := xdigits(4) + xdash() + xdigits(2) + xdash() + xdigits(2)
483 if !p.hasPrefix("T") {
484 p.xerrorf("expected T for date-time separator")
486 s += p.xtaken(1) + xdigits(2) + xcolon() + xdigits(2) + xcolon() + xdigits(2)
487 layout := time.RFC3339
489 layout = time.RFC3339Nano
490 s += "." + p.xtakefn1("digits", func(c rune, i int) bool {
491 return c >= '0' && c <= '9'
494 if !p.hasPrefix("Z") {
495 p.xerrorf("expected Z for date-time utc timezone")
499 t, err := time.Parse(layout, s)
501 p.xerrorf("bad utc date-time %q: %s", s, err)
506// sasl mechanism, for AUTH command.
508func (p *parser) xsaslMech() string {
509 return p.xtakefn1case("sasl-mech", func(c rune, i int) bool {
510 return i < 20 && (c >= 'A' && c <= 'Z' || c >= '0' && c <= '9' || c == '-' || c == '_')
515func (p *parser) xtext() string {
516 var r strings.Builder
519 if b >= 0x21 && b < 0x7f && b != '+' && b != '=' && b != ' ' {
520 r.WriteString(string(b))
529 for _, b := range x {
530 if b >= '0' && b <= '9' || b >= 'A' && b <= 'F' {
533 p.xerrorf("parsing xtext: invalid hexadecimal %q", x)
535 const hex = "0123456789ABCDEF"
536 b = byte(strings.IndexByte(hex, x[0])<<4) | byte(strings.IndexByte(hex, x[1])<<0)
537 r.WriteString(string(rune(b)))