Thesis (Selection of subject)Thesis (Selection of subject)(version: 266)
Assignment details
   Login via CAS
Statická analýza datových toků pro programy v jazyce Java
Thesis title in Czech: Statická analýza datových toků pro programy v jazyce Java
Thesis title in English: Static data flow analysis for Java programs
Key words: data flow, statická analýza, Java
English key words: data flow, static analysis, Java
Academic year of topic announcement: 2017/2018
Type of assignment: diploma thesis
Thesis language:
Department: Department of Software Engineering (32-KSI)
Supervisor: RNDr. Filip Zavoral, Ph.D.
Author: hidden - assigned and confirmed by the Study Dept.
Date of registration: 07.12.2017
Date of assignment: 22.02.2018
Confirmed by Study dept. on: 20.03.2018
Guidelines
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
References
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
 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html