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![]() |
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 |