|
|
Code Analysis and Transformation
Křoustek, Jakub ; Masařík, Karel (referee) ; Meduna, Alexandr (advisor)
This paper describes methods and procedures used for code analysis and transformation. It contains basic information of a science discipline called reverse engineering and its use in information technologies. The primary objective is a construction of tool that can disassemble from binary form to symbolic machine code. This operation is highly dependent on the concrete instruction set, and it has to be used for a beforehand known processor architecture. This problem is solved with patterns, plug-ins, and modularity of disassembler. These features provide users the ability to add new instruction sets into this disassembler. The output is the text representation of instructions and is functionally equivalent to the in-put. The thesis demonstrates usual methods of disassembly as well as the methods made by the author.
|
|
|
.NET Based C Language Processing in a Browser
Kužela, Michal ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The aim of this work is to create a tool for online programming in browser that would work also offline. It focuses on WebAssembly and .NET technologies. It was implemented in Blazor WebAssembly framework. Emphasis was placed on covering the range of C programming language used by beginner programmers. Solution is an interpreter that provides environment for programming in browser. It also contains virtual filesystem and an option to insert user inputs. The advantage of this solution is the possibility to work offline, code stepping and possibility to perform immediate code evaluation.
|
|
|
Petri Nets Virtual Machine
Lapšanský, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.
|
|
|
.NET Based C Language Processing in a Browser
Kužela, Michal ; Křivka, Zbyněk (referee) ; Kolář, Dušan (advisor)
The aim of this work is to create a tool for online programming in browser that would work also offline. It focuses on WebAssembly and .NET technologies. It was implemented in Blazor WebAssembly framework. Emphasis was placed on covering the range of C programming language used by beginner programmers. Solution is an interpreter that provides environment for programming in browser. It also contains virtual filesystem and an option to insert user inputs. The advantage of this solution is the possibility to work offline, code stepping and possibility to perform immediate code evaluation.
|
|
|
Petri Nets Virtual Machine
Lapšanský, Tomáš ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This bachelor thesis formally defines the Object Oriented Petri Nets. Then it designs concept of compilator and virtual machine for Object Oriented Petri Nets using PNTalk language. It uses PNTalk language. It describes implementation of virtual machine and compiler.
|
|
|
Code Analysis and Transformation
Křoustek, Jakub ; Masařík, Karel (referee) ; Meduna, Alexandr (advisor)
This paper describes methods and procedures used for code analysis and transformation. It contains basic information of a science discipline called reverse engineering and its use in information technologies. The primary objective is a construction of tool that can disassemble from binary form to symbolic machine code. This operation is highly dependent on the concrete instruction set, and it has to be used for a beforehand known processor architecture. This problem is solved with patterns, plug-ins, and modularity of disassembler. These features provide users the ability to add new instruction sets into this disassembler. The output is the text representation of instructions and is functionally equivalent to the in-put. The thesis demonstrates usual methods of disassembly as well as the methods made by the author.
|
guest ::
