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 |