The Community for Technology Leaders
2007 IEEE International Conference on Software Maintenance (2007)
Paris
Oct. 2, 2007 to Oct. 5, 2007
ISSN: 1063-6773
ISBN: 978-1-4244-1255-6
pp: 84-93
Vijay Nagarajan , University of California, Riverside, CA, USA
Rajiv Gupta , University of California, Riverside, CA, USA
Xiangyu Zhang , Purdue University
Matias Madou , Ghent University
Bjorn de Sutter , Ghent University
Koen de Bosschere , Ghent University
ABSTRACT
In many application areas, including piracy detection, software debugging and maintenance, situations arise in which there is a need for comparing two versions of a program that dynamically behave the same even though they statically appear to be different. Recently dynamic matching [18] was proposed by us which uses execution histories to automatically produce mappings between instructions in the two program versions. The mappings then can be used to understand the correspondence between the two versions by a user involved in software piracy detection or a comparison checker involved in debugging of optimized code. However, if a program's control flow is substantially altered, which usually occurs in obfuscation or even manual transformations, mappings at instruction level are not sufficient to enable a good understanding of the correspondence. In this paper, we present a comprehensive dynamic matching algorithm with the focus on call graph and control flow matching. Our technique works in the presence of aggressive control flow transformations (both interprocedural such as function Mining/outlining and intraprocedural such as control flow flattening) and produces mappings of interprocedural and intraprocedural control flow in addition to mapping between instructions. We evaluated our dynamic matching algorithms by attempting to match original program with versions that were subjected to popular obfuscation and control flow altering transformations. Our experimental results show that the control flow mappings produced are highly accurate and complete, for the programs considered.
INDEX TERMS
computer crime, program debugging, software maintenance
CITATION

V. Nagarajan, R. Gupta, X. Zhang, M. Madou, B. de Sutter and K. de Bosschere, "Matching Control Flow of Program Versions," 2007 IEEE International Conference on Software Maintenance(ICSM), Paris, 2008, pp. 84-93.
doi:10.1109/ICSM.2007.4362621
272 ms
(Ver 3.3 (11022016))