English

Data-Flow Guided Slicing

Programming Languages 2018-08-06 v1 Software Engineering
Authors: Mohamed Nassim Seghir
View on arXiv ↗ PDF ↗

Abstract

We propose a flow-insensitive analysis that prunes out portions of code which are irrelevant to a specified set of data-flow paths. Our approach is fast and scalable, in addition to being able to generate a certificate as an audit for the computed result. We have implemented our technique in a tool called DSlicer and applied it to a set of 10600 real-world Android applications. Results are conclusive, we found out that the program code can be significantly reduced by 36% on average with respect to a specified set of data leak paths.

Keywords

android security program analysis

Cite

@article{arxiv.1808.01232,
  title  = {Data-Flow Guided Slicing},
  author = {Mohamed Nassim Seghir},
  journal= {arXiv preprint arXiv:1808.01232},
  year   = {2018}
}

Related papers

View all related →
Cryptography and Security · Computer Science
Visualizing Privacy-Relevant Data Flows in Android Applications
Mugdha Khedkar, Michael Schlichtig, Santhosh Mohan, Eric Bodden
2025-03-24
Programming Languages · Computer Science
Certificate Enhanced Data-Flow Analysis
Mohamed Nassim Seghir
2018-08-06
Cryptography and Security · Computer Science
Negative Results of Fusing Code and Documentation for Learning to Accurately Identify Sensitive Source and Sink Methods An Application to the Android Framework for Data Leak Detection
Jordan Samhi, Maria Kober, Abdoul Kader Kabore, Steven Arzt +2
2023-01-12
Software Engineering · Computer Science
Dynamic Slicing for Deep Neural Networks
Ziqi Zhang, Yuanchun Li, Yao Guo, Xiangqun Chen +1
2020-09-30
Software Engineering · Computer Science
Statistical Program Slicing: a Hybrid Slicing Technique for Analyzing Deployed Software
Bogdan Alexandru Stoica, Swarup K. Sahoo, James R. Larus, Vikram S. Adve
2022-01-04
Cryptography and Security · Computer Science
DeepCatra: Learning Flow- and Graph-based Behaviors for Android Malware Detection
Yafei Wu, Jian Shi, Peicheng Wang, Dongrui Zeng +1
2022-07-19
Software Engineering · Computer Science
Scalable Online Vetting of Android Apps for Measuring Declared SDK Versions and Their Consistency with API Calls
Daoyuan Wu, Debin Gao, David Lo
2020-09-01
Software Engineering · Computer Science
DCert: Find the Leak in Your Pocket
Mohamed Nassim Seghir
2018-08-08
Software Engineering · Computer Science
An Automated Approach for Privacy Leakage Identification in IoT Apps
Bara' Nazzal, Manar H. Alalfi
2022-02-08
Software Engineering · Computer Science
Applying Slicing Technique to Software Architectures
Jianjun Zhao
2009-09-25
Software Engineering · Computer Science
SliceLocator: Locating Vulnerable Statements with Graph-based Detectors
Baijun Cheng, Kailong Wang, Cuiyun Gao, Xiapu Luo +4
2025-02-25
Software Engineering · Computer Science
AnFlo: Detecting Anomalous Sensitive Information Flows in Android Apps
Biniam Fisseha Demissie, Mariano Ceccato, Lwin Khin Shar
2018-12-20
Software Engineering · Computer Science
I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis
Li Li, Alexandre Bartel, Jacques Klein, Yves Le Traon +5
2014-04-30
Software Engineering · Computer Science
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps
Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci +1
2020-10-13
Cryptography and Security · Computer Science
Characterizing Sensor Leaks in Android Apps
Xiaoyu Sun, Xiao Chen, Kui Liu, Sheng Wen +2
2022-01-19
Cryptography and Security · Computer Science
Demystifying Hidden Sensitive Operations in Android apps
Xiaoyu Sun, Xiao Chen, Li Li, Haipeng Cai +4
2022-10-21
Cryptography and Security · Computer Science
CodeCloak: A Method for Evaluating and Mitigating Code Leakage by LLM Code Assistants
Amit Finkman Noah, Avishag Shapira, Eden Bar Kochva, Inbar Maimon +3
2024-10-30
Databases · Computer Science
DataSlicer: Task-Based Data Selection for Visual Data Exploration
Farid Alborzi, Surajit Chaudhuri, Rada Chirkova, Pallavi Deo +4
2017-03-29
Cryptography and Security · Computer Science
QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog
Lennart M. Reimann, Luca Hanel, Dominik Sisejkovic, Farhad Merchant +1
2021-12-23
Cryptography and Security · Computer Science
FlowIntent: Detecting Privacy Leakage from User Intention to Network Traffic Mapping
Hao Fu, Zizhan Zheng, Aveek K. Das, Parth H. Pathak +2
2016-07-26
Cryptography and Security · Computer Science
DroidMark: A Tool for Android Malware Detection using Taint Analysis and Bayesian Network
Dhruv Rathi, Rajni Jindal
2018-06-19
Cryptography and Security · Computer Science
An Empirical Study of Information Flows in Real-World JavaScript
Cristian-Alexandru Staicu, Daniel Schoepe, Musard Balliu, Michael Pradel +1
2019-06-28
Cryptography and Security · Computer Science
Predicting sensitive information leakage in IoT applications using flows-aware machine learning approach
Hajra Naeem, Manar H. Alalfi
2022-01-11
Cryptography and Security · Computer Science
When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid
Daoyuan Wu, Debin Gao, Robert H. Deng, Rocky K. C. Chang
2020-05-26
Computer Vision and Pattern Recognition · Computer Science
DDFlow: Learning Optical Flow with Unlabeled Data Distillation
Pengpeng Liu, Irwin King, Michael R. Lyu, Jia Xu
2019-02-26
R2 v1 2026-06-23T03:23:53.414Z