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.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020894
Bachelor Thesis, Primary publication, Publisher's Version

[img] Text
ba_TimLange.pdf
Copyright Information: CC BY 4.0 International - Creative Commons, Attribution.
Download (2MB)
Item Type: Bachelor Thesis
Type of entry: Primary publication
Title: Implementation and Evaluation of a Static Backwards Data Flow Analysis in FlowDroid
Language: English
Date: 2022
Place of Publication: Darmstadt
Collation: 89 Seiten
DOI: 10.26083/tuprints-00020894
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.
Status: Publisher's Version
URN: urn:nbn:de:tuda-tuprints-208946
Classification DDC: 000 Generalities, computers, information > 004 Computer science
Divisions: 20 Department of Computer Science > Security in Information Technology
Date Deposited: 12 Apr 2022 12:20
Last Modified: 02 Aug 2022 13:07
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/20894
PPN: 494270314
Export:
Actions (login required)
View Item View Item
OAI 2.0 -Basis-URL: https://tuprints.ulb.tu-darmstadt.de/cgi /oai2 TUprints verwendet EPrints 3 .
Drucken | Impressum | Datenschutzerklärung