Estoy buscando formas de especificar formalmente el formato de varias secuencias binarias y utilizando una herramienta para verificar que las secuencias cumplan con las especificaciones. Algo así como XSD + cualquiera de las herramientas de validación para XML. O como complicar extremadamente la expresión grep trabajando en un nivel binario (preferiblemente no, eso sería realmente difícil de leer).

Alguien sabe de una especificación / herramienta que sería útil?

[Justificación: estamos recibiendo diariamente muchos archivos binarios generados por terceros y muchas veces están utilizando herramientas malas que producen archivos no válidos. Queremos darles una herramienta que puedan usar como validador y no queremos escribir una herramienta específica para cada formato.]