Abstract:
The language FlexT (Flexible Types) is intended for specification of binary data formats. The language is declarative and designed to be well understood for human readers. Its main elements are the data type declarations, which look very much like the usual type declarations of the imperative programming languages, but are more flexible. In the article we first give a review of the capabilities of the modern projects oriented to specification of binary file formats. Then we consider the main features of the FlexT language and, in particular, the features that help to describe the formats of encoding of machine instructions. Finally we briefly describe the software developed, which is based upon the FlexT interpreter and some new capabilities of information search, which makes possible the use of the specifications.
Keywords:
specifications of binary data formats, specification of encoding of machine instructions, declarative language, disassembler.
Bibliographic databases:
Document Type:
Article
Language: Russian
Citation:
A. E. Khmel'nov, I. V. Bychkov, A. A. Mikhailov, “A declarative language FlexT for analysis and documenting of binary data formats”, Proceedings of ISP RAS, 28:5 (2016), 239–268
\Bibitem{KhmBycMik16}
\by A.~E.~Khmel'nov, I.~V.~Bychkov, A.~A.~Mikhailov
\paper A declarative language FlexT for analysis and documenting of binary data formats
\jour Proceedings of ISP RAS
\yr 2016
\vol 28
\issue 5
\pages 239--268
\mathnet{http://mi.mathnet.ru/tisp79}
\crossref{https://doi.org/10.15514/ISPRAS-2016-28(5)-15}
\elib{https://elibrary.ru/item.asp?id=27679163}
Linking options:
https://www.mathnet.ru/eng/tisp79
https://www.mathnet.ru/eng/tisp/v28/i5/p239
This publication is cited in the following 3 articles:
A. A. Evgin, M. A. Solovev, V. A. Padaryan, “A Model and Declarative Language for Specifying Binary Data Formats”, Program Comput Soft, 48:7 (2022), 469
Alexei Hmelnov Hmelnov, Andrei Mikhailov, 2018 Ivannikov Ispras Open Conference (ISPRAS), 2018, 23
A. A. Mikhailov, A. E. Khmelnov, “Dekompilyatsiya ob'ektnykh failov *.dcuil”, Trudy ISP RAN, 29:6 (2017), 105–116
Citation in format AMSBIB
Contact us: