Kaitai Struct 0.9

Съвсем наскоро излезе новата версия на Kaitai Struct 0.9 — език за описание и инструментариум за парсинг на различни бинарни формати (например, мрежови пакети, файлове с изображения/аудио/видео, бази данни, архиви, контейнери и т.н.). Въпреки че версията 0.9 изглежда незначителна — това е голямо издание, включващо постиженията от последните 2.5 години. През това време езикът нарасна до цялото семейство проекти:

• компилатор, позволяващ от файл със спецификация на формата (.ksy) да се получи готов изходен код на парсера на множество програмни езици (C++, C#, Construct, Go, Java, JavaScript, Lua, Nim, Perl, PHP, Python, Ruby), както и диаграми във формат GraphViz и човекочитаеми спецификации на формати в HTML;
• инструменти за удобна разработка на спецификации с едновременно визуален контрол: Web IDE, конзолен визуализатор, плъгин за Visual Studio Code, Hobbits, Veles, плъгин за Hiew, плъгин за Binary Ninja;
• модули за интеграция на Kaitai Struct в процеса на компилация за Maven, за Gradle, за Python, за JavaScript/WebPack
• библиотека с формати, която вече съдържа 156 описания (и още 78 формати се намират в процес на преглед на pull request).
• библиотека с алгоритми за компресия Kaitai Compress
• модул за FUSE — Kaitai FS, позволяващ да се монтира файл като файловата система, използвайки ksy-описание на формата му

Език признат от GitHub и в момента се използва в повече от 400 free/open source проекта за парсинг на различни екзотични формати на данни, започвайки от реверс инжиниринг на файлове от собствени игри, завършвайки с разбор на комуникационни протоколи на спътници.

Основните нововъведения в езика 0.9 включват:

• поддръжка на нови целеви езици (Python чрез библиотеката Construct, Nim, генериране на документация в HTML)
• пълна поддръжка на съвременен C++ (умни указатели, липса на необходимост от ръчно управление на паметта, корекция на всички известни варианти на течове на паметта)
• поддръжка на адресиране на вложени типове чрез синтаксис от вида foo::bar::baz
• поддръжка на валидация на прочетените данни съгласно описаните условия (valid)
• изчисляване на размерите на статични структури от данни в байтове и битове (оператори sizeof и bitsizeof)
• формално описание на езика под формата на JSON-схема, от която сега се генерира документация

Източник: linux.org.ru