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;
• инструменти за удобна разработка на спецификации с simultant визуален контрол: 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 безплатни/open source проекта за парсинг на различни екзотични формати данни, започвайки от обратното инженерство на файлове от собствени игри, завършвайки с разбор на комуникационни протоколи на сателити.

От основните нововъведения в езика 0.9 си струва да се споменат:

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

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