Témata prací (Výběr práce)Témata prací (Výběr práce)(verze: 368)
Detail práce
   Přihlásit přes CAS
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
 
Univerzita Karlova | Informační systém UK