RecordFlux: Addressing binary protocol parser vulnerabilities

A proven correct binary protocol parser generator: EverParse

https://project-everest.github.io/everparse/

Reminds me a bit of WUFFS (https://github.com/google/wuffs), although a bit more structured (or high level)