RecordFlux: Addressing binary protocol parser vulnerabilities (blog.adacore.com) 50 points by synack 3y ago ↗ HN
[–] deterministic 3y ago ↗ A proven correct binary protocol parser generator: EverParsehttps://project-everest.github.io/everparse/
[–] ck45 3y ago ↗ Reminds me a bit of WUFFS (https://github.com/google/wuffs), although a bit more structured (or high level)
2 comments
[ 4.0 ms ] story [ 16.5 ms ] threadhttps://project-everest.github.io/everparse/