Récemment, une nouvelle version de Kaitai Struct 0.9 a été publiée — un langage de description et d'outils de parsing de divers formats binaires (comme des paquets réseau, des fichiers image/audio/vidéo, des bases de données, des archives, des conteneurs, etc.). Malgré le numéro de version 0.9 qui semble peu sérieux, il s'agit d'une version majeure, incluant des travaux des 2,5 dernières années. Pendant ce temps, le langage a évolué pour former toute une famille de projets :
- un compilateur permettant de générer un code source de parser à partir d'un fichier de spécification de format (.ksy) dans plusieurs langages de programmation (C++, C#, Construct, Go, Java, JavaScript, Lua, Nim, Perl, PHP, Python, Ruby), ainsi que des diagrammes au format GraphViz et des spécifications de formats lisibles par l'homme en HTML ;
- des outils pour le développement facile de spécifications avec contrôle visuel simultané : Web IDE, visualiseur en console, plugin pour Visual Studio Code, Hobbits, Veles, plugin pour Hiew, plugin pour Binary Ninja;
- des modules pour intégrer Kaitai Struct dans le processus de construction pour Maven, pour Gradle, pour Python, pour JavaScript/WebPack
- bibliothèque de formats, comptant déjà 156 descriptions dans cette version (et 78 autres formats sont en cours de révision de pull request).
- bibliothèque d'algorithmes de compression Kaitai Compress
- module pour FUSE — Kaitai FS, permettant de monter un fichier comme un système de fichiers, en utilisant la description de format ksy
Langue reconnu par GitHub et utilisé actuellement dans plus de 400 projets free/open source pour parser divers formats de données exotiques, allant de l'ingénierie inverse de fichiers de données de jeux propriétaires, jusqu'à l'analyse des protocoles de communication par satellite..
Parmi les principales nouveautés du langage 0.9, on peut souligner :
- le support de nouveaux langages cibles (Python via la bibliothèque Construct, Nim, génération de documentation en HTML)
- un support complet des C++ modernes (pointeurs intelligents, absence de besoin de gérer la mémoire manuellement, correction de tous les types connus de fuites de mémoire)
- le support de l'adressage des types imbriqués via une syntaxe de type foo::bar::baz
- le support de la validation des données lues selon des conditions décrites (valide)
- le calcul des tailles des structures de données statiques en octets et en bits (opérateurs sizeof et bitsizeof)
- la description formelle du langage sous forme de schéma JSON, à partir duquel est désormais générée la documentation.
Source : linux.org.ru
