Date: Tue, 30 Oct 2018 12:05:05 +0100 From: Szabolcs Nagy <nsz@...t70.net> To: musl@...ts.openwall.com Cc: Robert Högberg <robert.hogberg@...il.com> Subject: Re: Unexpected regex behaviour * Rich Felker <dalias@...c.org> [2018-10-29 18:59:57 -0400]: > On Mon, Oct 29, 2018 at 11:26:19PM +0100, Robert Högberg wrote: > > Hi, > > > > I've noticed that the musl regex implementation behaves slightly > > differently than the glibc implementation. I'm attaching a short program > > showing the behaviour. > > > > The difference makes yate (http://yate.null.ro) misbehave when running with > > musl (reported here: https://github.com/openwrt/telephony/issues/378). > > > > Yate uses a regexp like this: > > "^\\([[:alpha:]][[:alnum:]]\\+:\\)\\?/\\?/\\?\\([^[:space:][:cntrl:]@]\\+@\\)\\?\\([[:alnum:]._+-]\\+\\|[[[:xdigit:].:]\\+]\\)\\(:[0-9]\\+\\)\\?" > > > > ... to parse strings like: > > "sip:012345678@...111.11.111:5060;user=phone" > > > > ... and the matches produced by musl are: > > Match 0: 0 - 32 sip:012345678@...111.11.111:5060 > > Match 1: -1 - -1 > > Match 2: 0 - 14 sip:012345678@ > > Match 3: 14 - 27 188.8.131.52 > > Match 4: 27 - 32 :5060 > > > > ... while glibc produces: > > Match 0: 0 - 32 sip:012345678@...111.11.111:5060 > > Match 1: 0 - 4 sip: > > Match 2: 4 - 14 012345678@ > > Match 3: 14 - 27 184.108.40.206 > > Match 4: 27 - 32 :5060 > > > > What do you think? > > > > I've only tested musl 1.1.19. Sorry if this is not valid for later > > releases. I skimmed the 1.1.20 release notes and didn't find anything regex > > related. > > I haven't checked which of the extensions you're using are supported > in musl, but the above is not a conforming POSIX BRE. It would be a > lot more readable and portable to use POSIX ERE (REG_EXTENDED) which > has the +, ?, and | operators as standard features. This looks like it > should work: > > "^([[:alpha:]][[:alnum:]]+:)?/?/?([^[:space:][:cntrl:]@]+@)?([[:alnum:]._+-]+|[[[:xdigit:].:]+])(:[0-9]+)?" > > The only reason to use POSIX BRE is if you need backreferences, which > are not regular and explicitly not supported in ERE. rewriting it as ERE should not change the grouping behaviour (\+, \? and \| are non-standard extensions in BRE, but we support those and the same engine is used as for ERE) the problem is that the string can be divided in multiple ways into groups to match the pattern, in such cases posix requires that the left-most pattern should match longest, which does not seem to work in musl. i think neither musl nor glibc gets this right at all times, but i think this is a simple case that should work. simpler example (musl busybox sed): $ echo 'sip:0123' |sed -r 's,^(sip:)?(.+)?,1=\1\n2=\2\n,' 1=sip: 2=0123 $ echo 'sip:0123' |sed -r 's,^(sip:)?/?(.+)?,1=\1\n2=\2\n,' 1= 2=sip:0123 $ echo 'sip:0123' |sed -r 's,^(sip:)?/*(.+)?,1=\1\n2=\2\n,' 1= 2=sip:0123 in all cases \1 should match sip:, but somehow .+ wins when there is a subpattern with empty match in the middle.
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.