Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Thu 21 Jul 2016 15:55 - 16:20 at Auditorium Loyola - Session 6 Chair(s): Sophia Drossopoulou
Protocol and typestate analyses often report some sequences of statements ending at a program point P that needs to be scrutinized, since P may be erroneous or imprecisely analyzed. Program slicing focuses only on the behavior at P by computing a slice of the program affecting the values at P. In this paper, we propose to restrict our attention to the subset of that behavior at P affected by one or several statement sequences, called a sequential criterion (SC). By leveraging the ordering information in a SC, e.g., the temporal order in a few valid/invalid API method invocation sequences, we introduce a new technique, program tailoring, to compute a tailored program that comprises the statements in all possible execution paths passing through at least one sequence in SC in the given order. With a prototyping implementation, Tailor, we show why tailoring is practically useful by conducting two case studies on seven large real-world Java applications. For program debugging and understanding, Tailor can complement program slicing by removing SC-irrelevant statements. For program analysis, Tailor can enable a pointer analysis, which is unscalable to a program, to perform a more focused and therefore potentially scalable analysis to its specific parts containing hard language features such as reflection.

Thu 21 Jul

ecoop-2016-papers
15:30 - 16:45: Research Track - Session 6 at Auditorium Loyola
Chair(s): Sophia DrossopoulouImperial College London
ecoop-2016-papers146910780000015:30 - 15:55
Talk
Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington, Kim BrucePomona College
Link to publication DOI Pre-print Media Attached
ecoop-2016-papers146910930000015:55 - 16:20
Talk
Yue LiUNSW Australia, Tian TanUNSW Australia, Yifei ZhangUNSW Australia, Jingling XueUNSW Australia
Link to publication DOI Pre-print Media Attached
ecoop-2016-papers146911080000016:20 - 16:45
Talk
Casper Bach PoulsenTU Delft, Pierre NeronFrench Network and Information Security Agency (ANSSI), Andrew TolmachPortland State University, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print Media Attached