[langsec-discuss] proven-correct parsers

Guilherme Salazar gmesalazar at gmail.com
Thu Jun 2 00:17:39 UTC 2016


On Wed, Jun 1, 2016 at 2:39 PM, Matthew Wilson <diakopter at gmail.com> wrote:
> Isn't the proper solution to faulty parsers to create provably correct ones?


Is there any context or was it a rhetorical question?


More information about the langsec-discuss mailing list