[langsec-discuss] proven-correct parsers

Matthew Wilson diakopter at gmail.com
Wed Jun 1 17:39:43 UTC 2016


Isn't the proper solution to faulty parsers to create provably correct ones?

https://github.com/JasonGross/parsing-parses



-- 
Sent by an Internet


More information about the langsec-discuss mailing list