Abstract: Implementing binary formats and communication protocols correctly is hard. Consequently, security vulnerabilities in such implementations are frequent and can have catastrophic consequences.