Static data flow analysis for Java programs
Název práce v češtině: | Statická analýza datových toků pro programy v jazyce Java |
---|---|
Název v anglickém jazyce: | Static data flow analysis for Java programs |
Klíčová slova: | Java, bytecode, statická analýza, datový tok |
Klíčová slova anglicky: | Java, bytecode, static analysis, data flow |
Akademický rok vypsání: | 2017/2018 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra softwarového inženýrství (32-KSI) |
Vedoucí / školitel: | RNDr. Filip Zavoral, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 07.12.2017 |
Datum zadání: | 22.02.2018 |
Datum potvrzení stud. oddělením: | 20.03.2018 |
Datum a čas obhajoby: | 16.09.2019 09:00 |
Datum odevzdání elektronické podoby: | 09.07.2019 |
Datum odevzdání tištěné podoby: | 17.09.2019 |
Datum proběhlé obhajoby: | 16.09.2019 |
Oponenti: | doc. RNDr. Jan Kofroň, Ph.D. |
Zásady pro vypracování |
There is lack of applications that could provide dependencies of outputs on inputs in Java programs via static analysis, where inputs / outputs can be standard IO, files, or database access.
The goal of this thesis is to propose a methodology for finding such dependencies in Java programs via static analysis of Java bytecode. This thesis will consist of following: - research of existing frameworks that can be used for static analysis of Java programs - selection of one framework that is appropriate for the problem - identification of problems and restrictions of using selected framework regarding to the problem - proposition of using framework and proposition of transformation of its output - a Proof of Concept of the proposed methodology in a form of pilot application using the selected framework |
Seznam odborné literatury |
Flemming Nielson, Hanne Riis Nielson, Chris Hankin: Principles of program analysis, ISBN: 3-540-65410-0
Cousot and Cousot: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, 1977 Lars Ole Andersen: Program Analysis and Specialization for the C Programming Language, 1994 Bjarne Steensgaard: Points-to analysis in almost linear time, 1996 Smaragdakis and Balatsouras: Pointer Analysis, Foundations and Trends® in Programming Languages: Vol. 2: No. 1, pp 1-69, 2015 |