News for hackers. Stuff that matters.

A comment on Sat solver on top of regex matcher. Parent comment

Re:Sat solver on top of regex matcher by sacado2 on Monday June 22, 2020 @08:30AM (#23599444)
> This doesn't make sense. How can you search for a string if you're already in a string? I can't think of a realistic situation where that would be useful or even really possible.

    query = "select * from table where name like \"%foo\""
[ Parent | on HN ]
Re:Sat solver on top of regex matcher by Thorrez on Tuesday June 23, 2020 @01:53AM (#23610339)
Interesting. Although in that situation I think it would be easier to find the outer string, then unescape it, then find the inner string.

Although if you want to do it with pure regex, it can be done without backreferences too, although it would be exponentially large as you get more and more levels of nesting, whereas with backreferences I think it would only get quadratically large.

[ Parent | on HN ]