On Sat, Apr 13, 2013 at 2:18 PM, Daniel Stenberg <daniel_at_haxx.se> wrote:
> I've not seen any such that aren't either gigantic in size or complexity.
> Also, it seems like a rather massive change to switch to at this point.

I guessed the reasons would be along those lines. :-)

> Is it really easier to prove correctness of a full fledged lexer/parser or
> separate library? I can't see how that can be...

A quality lexer/parser guarantees that a specified grammar lacks
ambiguity and that crazy/malicious input patterns get handled safely.

--
David Strauss
   | david_at_davidstrauss.net
   | +1 512 577 5827 [mobile]
-------------------------------------------------------------------
List admin: http://cool.haxx.se/list/listinfo/curl-library
Etiquette:  http://curl.haxx.se/mail/etiquette.html