Write a Blog >>
Tue 11 Jul 2017 14:10 - 14:35 at Bren 1414 - Dynamic Analysis Chair(s): Tao Xie

The rapid growth of Internet of Things (IoT) has been created a number of new platforms recently. Unfortunately, such variety of IoT devices causes platform fragmentation which makes software development on such devices challenging. In particular, existing programs cannot be simply reused on such devices as they rely on certain underlying hardware and software interfaces which we call platform dependencies. In this paper, we present CPR, a novel technique that synthesizes a platform independent program from a platform dependent program. Specifically, we leverage an existing system called PIEtrace which can generate a platform independent trace program. The generated trace program is platform independent while it can only reproduce a specific execution path. Hence, we develop an algorithm to merge a set of platform independent trace programs and synthesize a general program that can take multiple inputs. The synthesized platform-independent program is representative of the merged trace programs and the results produced by the program is correct if no exceptions occur. Our evaluation results on 15 real-world applications show that CPR is highly effective on reusing existing binaries across platforms.

Tue 11 Jul

issta-2017-research
13:20 - 15:00: Technical Papers - Dynamic Analysis at Bren 1414
Chair(s): Tao XieUniversity of Illinois at Urbana-Champaign
issta-2017-research13:20 - 13:45
Talk
Yizhen ChenSUNY Albany, USA, Ming YingSUNY Albany, USA, Daren LiuSUNY Albany, USA, Adil AlimSUNY Albany, USA, Feng ChenSUNY Albany, USA, Mei-Hwa ChenSUNY Albany, USA
DOI
issta-2017-research13:45 - 14:10
Talk
William KochBoston University, USA, Abdelberi ChaabaneNortheastern University, USA, Manuel EgeleBoston University, USA, William RobertsonNortheastern University, USA, Engin KirdaNortheastern University, USA
DOI
issta-2017-research14:10 - 14:35
Talk
Yonghwi KwonPurdue University, Weihang WangPurdue University, Yunhui ZhengIBM T.J. Watson Research Center, Xiangyu ZhangPurdue University, Dongyan XuPurdue University, USA
DOI
issta-2017-research14:35 - 15:00
Talk
Marija SelakovicTU Darmstadt, Germany, Thomas GlaserTU Darmstadt, Germany, Michael PradelTU Darmstadt
DOI