Dynamic Slicing of Android Applications with Trace-Based Alias Analysis.

---

Mandoline automatically generates a backward dynamic slice from a user selected executed statement and variables used in the statement. Mandoline first creates an Inter-Callback Dependency Graph (ICDG) from an execution trace. The user selects a node in the ICDG and used variables in the node to start slicing from (slicing criterion). Mandoline is the first dynamic slicer for Android apps that accounts for data flows through fields and framework methods.

This appendix contains the implementation of Mandoline. The appendix also contains the ground truth that Mandoline is evaluated on. The ground truth consists of manually generated slices of 12 applications.

Publication

Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis