Thesis Details

Extrakce grafu toku řízení z bajtkódu Java

Bachelor's Thesis Student: Sečkařová Petra Academic Year: 2016/2017 Supervisor: Smrčka Aleš, Ing., Ph.D.
English title
Extraction of Control Flow Graph from Java Bytecode
Language
Czech
Abstract

The most of the analyses evaluating the quality of code are derived from Control Flow Graphs -- CFG. Model-based testing as one of them uses paths found in CFG for generation of test cases. To ease use of a general analysis of CFG, there is a need for CFG to contain instructions of some general instruction set. This work deals with extraction of control flow graphs from Java bytecode, followed by a translation of the instructions inside basic blocks into LLVM IR set. The resulting program is able to reliably extract control flow graphs from a Java program, given in any of its casual forms (.jar archive, .java or .class file). In addition to that, the graphs on output are assembled so, that they can be analyzed in order to generate unit tests.

Keywords

Java bytecode, control flow graph, analysis, LLVM IR

Department
Degree Programme
Information Technology
Files
Status
defended, grade A
Date
12 June 2017
Reviewer
Committee
Zendulka Jaroslav, doc. Ing., CSc. (DIFS FIT BUT), předseda
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), člen
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
Citation
SEČKAŘOVÁ, Petra. Extrakce grafu toku řízení z bajtkódu Java. Brno, 2017. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-06-12. Supervised by Smrčka Aleš. Available from: https://www.fit.vut.cz/study/thesis/19241/
BibTeX
@bachelorsthesis{FITBT19241,
    author = "Petra Se\v{c}ka\v{r}ov\'{a}",
    type = "Bachelor's thesis",
    title = "Extrakce grafu toku \v{r}\'{i}zen\'{i} z bajtk\'{o}du Java",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2017,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/19241/"
}
Back to top