On Sat, Apr 13, 2013 at 2:18 PM, Daniel Stenberg <dan...@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 | da...@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
