[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