Validation de structure pour les fichiers binaires

Question

Je cherche des moyens de spécifier formellement le format de divers flux binaires et d'utiliser un outil pour vérifier la conformité des flux aux spécifications. Quelque chose comme XSD + un des outils de validation pour XML. Ou comme une expression grep extrêmement compliquée travaillant sur un niveau binaire (de préférence pas - ce serait vraiment difficile à lire).

Est-ce que quelqu'un connaît une spécification/un outil qui serait utile? [Justification: Nous recevons tous les jours de nombreux fichiers binaires créés par des tiers et utilisons souvent de mauvais outils pour produire des fichiers invalides. Nous voulons leur donner un outil qu'ils pourraient utiliser comme un validateur et nous ne voulons pas écrire un outil spécifique pour chaque format.]

Answer 1

Si vous pensez que la documentation des fichiers .class Java est un bon exemple d'une spécification, Reconsidérer regardant Preon Preon est capturing it entirely et génère une documentation comme this.

Il existe actuellement plusieurs autres initiatives pour capturer la 'syntaxe' des fichiers binaires codés. ASN.1 est utile, mais il ne vous donne pas beaucoup de kilométrage si vous avez l'intention de capturer, disons, des fichiers de classe Java. La même chose vaut pour BSDL, Flavor, BFlavor et quelques autres initiatives.Le problème est: il y a un million de façons de coder des données binaires, beaucoup de techniques de compression binaires, et je pense que cela veut dire qu'il y aura jamais quelque chose qui capte entièrement, à moins que la langue elle-même est extensible.

tampons de protocole Google a fondamentalement le même problème. Il définit quelque chose comme CDR de Corba, et c'est bien, tant que vous n'avez pas besoin de quelque chose de plus avancé. Les tampons de protocole de Google ne vont pas vous permettre de capturer le format de fichier de classe de Java.

Answer 2

Je pense qu'un bon exemple est la spécification des fichiers .class de Java: http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html

Answer 3

Notation de syntaxe abstraite numéro un: ASN.1. Voir aussi la boîte à outils NCBI:

Answer 4

Ceci est une question intéressante, mais je serais très surpris si un tel langage de spécification existe. C'est parce que les possibilités de méta-structure des fichiers binaires sont effectivement infinies. Comparez cela avec XML, où la méta-structure (les balises contiennent d'autres balises, un seul attribut peut avoir un nom, etc.) est strictement spécifiée. Et même avec cette structure, écrire des schémas pour XML est difficile! La seule façon de voir les possibilités infinies des formats de fichiers binaires est d'utiliser quelque chose qui permet une variabilité infinie - un langage de programmation Turing-complet. Ceci ne veut bien sûr pas dire que pour votre domaine de problème spécifique, un langage de spécification utile et un processeur pour celui-ci n'ont pas pu être produits. Je pense juste que vous aurez du mal à trouver un pré-construit. J'espère que les réponses ici me prouvent le contraire!

Answer 5

donner un essai à Preon:

annotation
• conduit
• parties de conditionals
langage d'expression

chaque classe annotée est une description Codec qui est capable de générer à la fois un Encoder et un Decoder.

Answer 6

vérifier aussi Google Protocol Buffers:

• Java/Python/C++ API
• belle DSL