DocumentCode :
3538595
Title :
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs
Author :
Dong, Longming ; Wang, Ji ; Chen, Liqian
Author_Institution :
Nat. Lab. for Parallel & Distrib. Process., Nat. Univ. of Defense Technol., Changsha, China
fYear :
2012
fDate :
27-29 Aug. 2012
Firstpage :
197
Lastpage :
200
Abstract :
Code clone is a prevalent activity during the development of softwares. However, it is harmful to the maintenance and evolution of softwares. Current techniques for detecting code clones are most syntax-based, and cannot detect all code clones. In this paper, we present a novel semantic-based clone detection technique by obtaining the similarity about the precondition and post condition of each procedure, which are computed by a context and field sensitive fix point iteration algorithm based on modular heap abstraction in heap-manipulating programs. Experimental evaluation about a set of C benchmark programs shows that the proposed approach can be scalable to detect various clones that existing syntax-based clone detectors have missed.
Keywords :
iterative methods; program diagnostics; software maintenance; C benchmark program; context sensitive fix point iteration algorithm; field sensitive fix point iteration algorithm; heap-manipulating program; modular heap abstraction; semantic-based clone detection; software evolution; software maintenance; syntax-based clone detector; Abstracts; Cloning; Semantics; Software; Software engineering; Syntactics; USA Councils; code clone detection; heap-manipulating programs; modular heap abstraction; procedural summaries;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quality Software (QSIC), 2012 12th International Conference on
Conference_Location :
Xi´an, Shaanxi
ISSN :
1550-6002
Print_ISBN :
978-1-4673-2857-9
Type :
conf
DOI :
10.1109/QSIC.2012.37
Filename :
6319249
Link To Document :
بازگشت