* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Thu 31 May 2018 14:00 - 14:20 at G1 room - Program Analysis I Chair(s): Darko Marinov

Request-based applications, e.g., most server-side applications, expose services to users in a request-based paradigm, in which requests are served by request-handler methods. An important task for request-based applications is inter-request analysis, which analyzes request-handler methods that are related by inter-request data dependencies together. However, in the request-based paradigm, data dependencies between related request-handler methods are implicitly established by the underlying frameworks that execute these methods. As a result, existing analysis tools are usually limited to the scope of each single method without the knowledge of dependencies between different methods.

In this paper, we design an approach called dataflow tunneling to capture inter-request data dependencies from concrete application executions and produce data-dependency specifications. Our approach answers two key questions: (1) what request-handler methods have data dependencies and (2) what these data dependencies are. Our evaluation using applications developed with two representative and popular frameworks shows that our approach is general and accurate. We also present a characteristic study and a use case of cache tuning based on the mined specifications. We envision that our approach can provide key information to enable future inter-request analysis techniques.

Presentation (DataflowTunneling ICSE 2018.pptx)9.93MiB

Thu 31 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Program Analysis ITechnical Papers at G1 room
Chair(s): Darko Marinov University of Illinois at Urbana-Champaign
14:00
20m
Talk
Dataflow Tunneling: Mining Inter-request Data Dependencies for Request-based Applications
Technical Papers
Xiao Yu North Carolina State University, Guoliang Jin North Carolina State University
Pre-print File Attached
14:20
20m
Talk
Launch-Mode-Aware Context-Sensitive Activity Transition Analysis for Android Apps
Technical Papers
Yifei Zhang UNSW Sydney, Yulei Sui University of Technology Sydney, Australia, Jingling Xue UNSW Sydney
DOI Pre-print File Attached
14:40
20m
Talk
UFO: Predictive Concurrency Use-After-Free Detection
Technical Papers
Jeff Huang Texas A&M University
Pre-print
15:00
20m
Talk
Collective Program Analysis
Technical Papers
Ganesha Upadhyaya Futurewei Technologies, Hridesh Rajan Iowa State University
Pre-print
15:20
10m
Talk
Q&A in groups
Technical Papers