Implementace obecného zpětného assembleru
Implementation of General Disassembler
Author
Advisor
Lukáš, RomanReferee
Masařík, KarelGrade
AAltmetrics
Metadata
Show full item recordAbstract
Tato práce popisuje proces vytváření disassembleru pro nově navrhované procesory. Kritériem při vytváření je jeho automatické vygenerování. Instrukční sada pro procesor je modelována pomocí specializovaného jazyka ISAC, který obsluhuje prostředky pro popis této instrukční sady, jako je například formát instrukce v jazyku symbolických instrukcí, binární zápis instrukce a chování instrukce. Vnitřním modelem je párový konečný automat, který formálně popíše vztah mezi textovou reprezentací instrukce a binárním kódováním instrukce. Z tohoto vnitřního modelu je generován kód překladače - disassembleru. Ten na vstupu přijímá program ve strojovém kódu a generuje ekvivalentní program v jazyce symbolických instrukcí. This thesis presents the process of creating disassembler for new designed processors. We demand automatic generation of the disassembler. Instruction set for processor is modeled by specialized language ISAC, which offers resources for description of the instruction set. For example it describes format of instruction in the assembly language or format of instruction in the binary form or behavior of this instruction. Internal model is coupled finite automata, which describes relation of textual form of the instruction and binary form of the instruction in formal way. The code of disassembler is generated from the internal model. This disassembler accepts program in binary code at the input and generate equivalent program in assembly language at the output.
Keywords
Konečný automat, párový konečný automat, assembler, disassembler, simulace, jazyky pro popis procesorů, vestavěný systém., Finite automata, coupled finite automata, assembler, disassembler, simulation, languages for specification processors, embedded systems.Language
čeština (Czech)Study brunch
Informační systémyComposition of Committee
Date of defence
2007-06-21Process of defence
Result of the defence
práce byla úspěšně obhájenaPersistent identifier
http://hdl.handle.net/11012/53965Source
PŘIKRYL, Z. Implementace obecného zpětného assembleru [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2007.Collections
- 2007 [95]