* 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

14:00 - 15:30: Technical Papers - Program Analysis I at G1 room
Chair(s): Darko MarinovUniversity of Illinois at Urbana-Champaign
icse-2018-Technical-Papers152776800000014:00 - 14:20
Xiao YuNorth Carolina State University, Guoliang JinNorth Carolina State University
Pre-print File Attached
icse-2018-Technical-Papers152776920000014:20 - 14:40
Yifei ZhangUNSW Sydney, Yulei SuiUniversity of Technology Sydney, Australia, Jingling XueUNSW Sydney
DOI Pre-print File Attached
icse-2018-Technical-Papers152777040000014:40 - 15:00
Jeff HuangTexas A&M University
icse-2018-Technical-Papers152777160000015:00 - 15:20
Ganesha UpadhyayaIowa State University, Hridesh RajanIowa State University
icse-2018-Technical-Papers152777280000015:20 - 15:30