Context-based detection of clone-related bugs

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 55-64

  Jiang, Lingxiao ^a   Su, Zhendong ^a   Chiu, Edwin ^a  

^a University of California   (United States)

Author keywords

Code clone detection; Code clone related bugs; Context based bug detection; Inconsistencies

Indexed keywords

CODE CLONE DETECTION; CODE CLONE-RELATED BUGS; CONTEXT-BASED BUG DETECTION; BUG DETECTIONS; COPY AND PASTES; EFFICIENT ALGORITHMS; INCONSISTENCIES; LINUX KERNELS; OPEN SOURCE PROJECTS; PROGRAMMING STYLES; SOFTWARE MAINTAINABILITIES;

CODES (SYMBOLS); COMPUTER OPERATING SYSTEMS; PROJECT MANAGEMENT; SOFTWARE ENGINEERING; CLONING; MAINTAINABILITY;

PROGRAM DEBUGGING;

EID: 37849051720     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287634     Document Type: Conference Paper

References (31)

1. G. Ammons, R. Bodik, and J. R. Larus. Mining specification. In Symposium on Principles of Programming Languages (POPL), 2002.
2. B. S. Baker. On finding duplication and near-duplication in large software systems. In Working Conference on Reverse Engineering (WCRE), pages 86-95, 1995.
3. B. S. Baker. Parameterized duplication in strings: Algorithms and an application to software maintenance. SIAM Journal on Computing (SICOMP), 26(5):1343-1362, 1997.
4. T. Ball and S. K. Rajamani. The SLAM project: Debugging system software via static analysis. In Symposium on Principles of Programming Languages (POPL), pages 1-3, 2002.
5. H. A. Basit and S. Jarzabek. Detecting higher-level similarity patterns in programs. In ESEC/FSE, pages 156-165, 2005.
6. I. D. Baxter, C. Pidgeon, and M. Mehlich. DMS®: Program transformations for practical scalable software evolution. In ICSE, pages 625-634, 2004.
7. I. D. Baxter, A. Yahin, L. Moura, M. Sant'Anna, and L. Bier. Clone detection using abstract syntax trees. In ICSM, pages 368-377, 1998.
8. M. Das, S. Lemer, and M. Scigle. ESP: path-sensitive program verification in polynomial time. In Conference on Programming Language Design and Implementation (PLDI), pages 57-68, 2002.
9. M. Datar, N. Immorlica, P. Indyk, and V. S. Mirrokni. Locality-sensitive hashing scheme based on p-stable distributions. In Symposium on Computational Geometry (SoCG), pages 253-262, 2004.
10. I. Dillig, T. Dillig, and A. Aiken. Static error detection using semantic inconsistency inference. In Conference on Programming Language Design and Implementation (PLDI), pages 435-445, 2007.
11. D. R. Engler, D. Y. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Symposium on Operating Systems Principles (SOSP), pages 57-72, 2001.
12. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. Transactions on Programming Languages and Systems (TOPLAS), 9(3):319-349, July 1987.
13. C. Flanagan, K. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, andR. Stata. Extended static checking for Java. In Conference on Programming Language Design and Implementation (PLDI), pages 234-245, 2002.
14. T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Lazy abstraction. In Symposium on Principles of Programming Languages (POPL), pages 58-70, 2002.
15. S. Jarzabek, P. Bassett, H. Zhang, and W. Zhang. XVCL: XML-based variant configuration language. In ICSE, pages 810-811, 2003.
16. S. Jarzabek and S. Li. Eliminating redundancies with a "composition with adaptation" meta-programming technique. In ESEC/FSE, pages 237-246, 2003.
17. L. Jiang, G. Misherghi, Z. Su, and S. Glondu. Deckard: Scalable and accurate tree-based detection of code clones. In ICSE, pages 96-105, 2007.
18. T. Kamiya, S. Kusumoto, and K. Inoue. CCFinder: a multilinguistic token-based code clone detection system for large scale source code. TSE, 28(7):654-670, 2002.
19. C. Kapser and M. W. Godfrey, "cloning considered harmful" considered harmful. In Working Conference on Reverse Engineering (WCRE), pages 19-28, 2006.
20. M. Kim, V. Sazawal, and D. Notkin. An empirical study of code clone genealogies. In ESEC/FSE, pages 187-196, 2005.
21. R. Komondoor and S. Horwitz. Using slicing to identify duplication in source code. In International Static Analysis Symposium (SAS), pages 40-56, 2001.
22. T. Kremenek, P. Twohey, G. Back, A. Ng, and D. Engler. From uncertainty to belief: Inferring the specification within. In Symposium on Operating Systems Design and Implementation (OSDI), pages 161-176, 2006.
23. J. Krinke. Identifying similar code with program dependence graphs. In Working Conference on Reverse Engineering (WCRE), pages 301-309, 2001.
24. B. Laguë, D. Proulx, J. Mayrand, E. Merlo, and J. P. Hudepohl. Assessing the benefits of incorporating function clone detection in a development process. In ICSM, pages 314-321, 1997.
25. Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner: A tool for finding copy-paste and related bugs in operating system code. In Symposium on Operating Systems Design and Implementation (OSDI), pages 289-302, 2004.
26. Z. Li and Y. Zhou. PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code. In ESEC/FSE, pages 306-315, 2005.
27. N. Nethercote and J. Seward. Valgrind: A framework for heavyweight dynamic binary instrumentation. In Conference on Programming Language Design and Implementation (PLDI), pages 89-100, 2007.
28. D. C. Rajapakse and S. Jarzabek. Using server pages to unify clones in web applications: A trade-off analysis. In ICSE, pages 116-126, 2007.
29. V. Wahler, D. Seipel, J. W. von Gudenberg, and G. Fischer. Clone detection in source code by frequent itemset techniques. In International Workshop on Source Code Analysis and Manipulation, pages 128-135, 2004.
30. Y. Xie and A. Aiken. Scalable error detection using boolean satisfiability. In Symposium on Principles of Programming Languages (POPL), pages 351-363, 2005.
31. Y. Xie and D. R. Engler. Using redundancies to find errors. In FSE, pages 51-60, 2002.