Wuffs: a programming language that prevents null pointer defence, buffer overflow, and arithmetic overflow, all at compile time! Designed for file format parsing. https://github.com/google/wuffs