Options
2015
Bachelor Thesis
Titel
Flow-insensitive information flow analysis (for Android)
Alternative
Fluss-insensitive Informationsflussanalyse (für Android)
Abstract
Information flow analysis is an approach to check whether there is no propagation of information that violates a certain policy in a given program. Flow sensitive analyses, of which implementations for Java already exist, can be very precise in finding malicious flows, but require a lot of resources in terms of computation time and memory consumption. Therefore there is need for a flow-insensitive analysis which can be run faster, yielding results with lesser precision while retaining a high recall. Such an analysis would have several possible applications, e.g. it could be used to analyze a high number of programs to determine which of these contain violations, in order to use flow sensitive analyses on those. This Bachelors thesis provides an implementation of such an analysis based on an already existing pointer analysis. The performance will be compared to an already existing flow sensitive analysis, as well.
ThesisNote
Darmstadt, TU, Bachelor Thesis, 2015
Verlagsort
Darmstadt