TU Darmstadt / ULB / TUprints

Implementation and Evaluation of a Static Backwards Data Flow Analysis in FlowDroid

Lange, Tim (2022):
Implementation and Evaluation of a Static Backwards Data Flow Analysis in FlowDroid. (Publisher's Version)
Darmstadt, Technische Universität, DOI: 10.26083/tuprints-00020894,
[Bachelor Thesis]

[img] Text
ba_TimLange.pdf
Available under: CC BY 4.0 International - Creative Commons, Attribution.

Download (2MB)
Item Type: Bachelor Thesis
Status: Publisher's Version
Title: Implementation and Evaluation of a Static Backwards Data Flow Analysis in FlowDroid
Language: English
Abstract:

In the last decade, many static taint analysis tools based on IFDS have been proposed. Nearly all of them only have a single analysis direction, with most opting for a forward-directed analysis and some for a backward-directed analysis.

In this thesis, we investigate the effect of the analysis direction on the runtime and memory consumption. We extended FlowDroid to feature a backward-directed analysis, which is equally precise as FlowDroid's forward analysis. We evaluated both implementations on DroidBench and 200 real-world apps. The results show that there is a favorable analysis direction for many apps and the right choice can reduce the runtime dramatically.

Place of Publication: Darmstadt
Collation: 89 Seiten
Classification DDC: 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Divisions: 20 Department of Computer Science > Security in Information Technology
Date Deposited: 12 Apr 2022 12:20
Last Modified: 02 Aug 2022 13:07
DOI: 10.26083/tuprints-00020894
URN: urn:nbn:de:tuda-tuprints-208946
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/20894
PPN: 494270314
Export:
Actions (login required)
View Item View Item