Thesis Details
Extrakce grafu toku řízení z bajtkódu Java
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.
Java bytecode, control flow graph, analysis, LLVM IR
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
@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/" }