Automated generation of provably secure, zero-copy parsers from format specifications - View it on GitHub