|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Декларативный язык FlexT — инструмент анализа и документирования бинарных форматов данных
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов Институт динамики систем и теории управления имени Матросова СО РАН
Аннотация:
Язык FlexT разработан для спецификации бинарных форматов данных. Язык является декларативным, рассчитанным на хорошее восприятие человеком, его основными конструкциями являются определения типов данных, которые напоминают определения типов в императивных языках программирования, но являются более гибкими. В работе сделан обзор возможностей современных проектов, направленных на спецификацию бинарных форматов файлов. Далее рассматриваются особенности языка FlexT, отдельно описываются возможности языка, позволяющие работать с форматами кодирования машинных команд. Кратко описаны реализованные программные системы, использующие интерпретатор FlexT и некоторые новые возможности поиска информации в бинарных файлах, которые даёт использование спецификаций.
Ключевые слова:
спецификация бинарных форматов данных, спецификация кодирования машинных команд, декларативный язык, дизассемблер.
Образец цитирования:
А. Е. Хмельнов, И. В. Бычков, А. А. Михайлов, “Декларативный язык FlexT — инструмент анализа и документирования бинарных форматов данных”, Труды ИСП РАН, 28:5 (2016), 239–268
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp79 https://www.mathnet.ru/rus/tisp/v28/i5/p239
|
Статистика просмотров: |
Страница аннотации: | 226 | PDF полного текста: | 178 | Список литературы: | 38 |
|