Сборники трудов ИСП РАН


Декларативный язык FlexT – инструмент анализа и документирования бинарных форматов данных

А.Е. Хмельнов (ИДСТУ СО РАН, Иркутск, Россия)
И.В. Бычков (ИДСТУ СО РАН, Иркутск, Россия)
А.А. Михайлов (ИДСТУ СО РАН, Иркутск, Россия)

Аннотация

Язык FlexT разработан для спецификации бинарных форматов данных. Язык является декларативным, рассчитанным на хорошее восприятие человеком, его основными конструкциями являются определения типов данных, которые напоминают определения типов в императивных языках программирования, но являются более гибкими. В работе сделан обзор возможностей современных проектов, направленных на спецификацию бинарных форматов файлов. Далее рассматриваются особенности языка FlexT, отдельно описываются возможности языка, позволяющие работать с форматами кодирования машинных команд. Кратко описаны реализованные программные системы, использующие интерпретатор FlexT и некоторые новые возможности поиска информации в бинарных файлах, которые даёт использование спецификаций.

Ключевые слова

спецификация бинарных форматов данных, спецификация кодирования машинных команд, декларативный язык, дизассемблер

Издание

Труды Института системного программирования РАН, том 28, вып. 5, 2016, стр. 239-268.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2016-28(5)-15

Полный текст статьи в формате pdf Вернуться к содержанию тома