|
|
Extraction of Control Flow Graph from LLVM IR Format
Kondula, Václav ; Šoková, Veronika (referee) ; Smrčka, Aleš (advisor)
This Bachelor's thesis deals with design and implementation of control flow graphs extraction from source files in C and C++ language to LLVM IR format. The extractor was implemented as a standalone tool using the LibTooling interface of the Clang compiler. Output of this tool follows the requirements of platform Testos, so it can be used for automated generation of test requirements based on specified coverage criteria.
|
|
|
Development and Testing Support for Interpreters of Simple Languages
Mazancová, Lenka ; Láznička, Stanislav (referee) ; Křivka, Zbyněk (advisor)
This document is focused on analysis, design and implementation of a reference interpreter that can be used as a tool for fulfilling and evaluating the team project of Formal Languages and Compiler course. The solution of this task includes the design a new instruction set, a library for reading and writing for this instruction set and an interpreter of this instruction set. Special attention is payed to the interpreter itself that can be extended to accept modifed instruction set. Such extension is described using XML configuration files and extern source files in C# or Visual Basic.NET. In the end the text describes the testing of the interpreter of the design instruction set including the possibilities to adjust the instruction set to different types of high-level languages.
|
|
|
Extraction of Control Flow Graph from LLVM IR Format
Kondula, Václav ; Šoková, Veronika (referee) ; Smrčka, Aleš (advisor)
This Bachelor's thesis deals with design and implementation of control flow graphs extraction from source files in C and C++ language to LLVM IR format. The extractor was implemented as a standalone tool using the LibTooling interface of the Clang compiler. Output of this tool follows the requirements of platform Testos, so it can be used for automated generation of test requirements based on specified coverage criteria.
|
|
|
Development and Testing Support for Interpreters of Simple Languages
Mazancová, Lenka ; Láznička, Stanislav (referee) ; Křivka, Zbyněk (advisor)
This document is focused on analysis, design and implementation of a reference interpreter that can be used as a tool for fulfilling and evaluating the team project of Formal Languages and Compiler course. The solution of this task includes the design a new instruction set, a library for reading and writing for this instruction set and an interpreter of this instruction set. Special attention is payed to the interpreter itself that can be extended to accept modifed instruction set. Such extension is described using XML configuration files and extern source files in C# or Visual Basic.NET. In the end the text describes the testing of the interpreter of the design instruction set including the possibilities to adjust the instruction set to different types of high-level languages.
|
guest ::
