CP-Miner: A Tool for Finding Copy-paste and Related Bugs in Operating System Code

OSDI 2004 - 6th Symposium on Operating Systems Design and Implementation

Volumn , Issue , 2004, Pages 289-302

  Li, Zhenmin ^a   Lu, Shan ^a   Myagmar, Suvda ^a   Zhou, Yuanyuan ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); DATA MINING; LINUX; MINERS; SYSTEMS ANALYSIS;

DETECTION TOOLS; FREEBSD; SOFTWARE VERSIONS; SYSTEM CODES;

PROGRAM DEBUGGING;

EID: 84910009447     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (39)

1. Linux kernel mailing list. http://lkml.org.
2. R. Agrawal and R. Srikant. Mining sequential patterns. In Eleventh International Conference on Data Engineering, 1995.
3. A. V. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.
4. A. Aiken. Moss: A system for detecting software plagiarism. http://www.cs.berkeley.edu/aiken/moss.html.
5. B. S. Baker. A program for identifying duplicated code. Computing Science and Statistics, 24:49–57, 1992.
6. B. S. Baker. On finding duplication and near-duplication in large software systems. In Proceedings of the Second Working Conference on Reverse Engineering, page 86. IEEE Computer Society, 1995.
7. I. D. Baxter, A. Yahin, L. Moura, M. Sant’Anna, and L. Bier. Clone detection using abstract syntax trees. In Proceedings of the International Conference on Software Maintenance, page 368. IEEE Computer Society, 1998.
8. J.-D. Choi, K. Lee, A. Loginov, R. O’Callahan, V. Sarkar, and M. Sridharan. Efficient and precise datarace detection for multithreaded object-oriented programs. In Proceeding of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 258–269. ACM Press, 2002.
9. A. Chou, B. Chelf, D. R. Engler, and M. Heinrich. Using meta-level compilation to check FLASH protocol code. In Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating System, pages 59–70. ACM Press, 2000.
10. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler. An empirical study of operating system errors. In Symposium on Operating Systems Principles, pages 73–88, 2001.
11. K. W. Church and J. I. Helfman. Dotplot: A program for exploring self-similarity in millions of lines of text and code. Journal of Computational and Graphical Statistics, 1993.
12. J. Condit, M. Harren, S. McPeak, G. C. Necula, and W. Weimer. CCured in the real world. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pages 232–244. ACM Press, 2003.
13. S. Ducasse, M. Rieger, and S. Demeyer. A language independent approach for detecting duplicated code. In Proceedings of International Conference on Software Maintenance, pages 109–118. IEEE, 1999.
14. D. Engler and K. Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pages 237–252. ACM Press, 2003.
15. D. Engler, D. Y. Chen, and A. Chou. Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 57–72. ACM Press, 2001.
16. S. Grier. A tool that detects plagiarism in Pascal programs. In Proceedings of the 12th SIGCSE Technical Symposium on Computer Science Education, pages 15–20. ACM Press, 1981.
17. S. Hallem, B. Chelf, Y. Xie, and D. Engler. A system and language for building system-specific, static analyses. In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 69–82. ACM Press, 2002.
18. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proceedings of the International Conference on Software Engineering, May 2002.
19. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proceedings of the Winter USENIX Conference, pages 158 – 185, Dec 1992.
20. H. T. Jankowitz. Detecting plagiarism in student Pascal programs. Computer Journal, 31(1):1–8, 1988.
21. J. H. Johnson. Identifying redundancy in source code using fingerprints. In Proceedings of the conference of the Centre for Advanced Studies on Collaborative research, Toronto, Ontario, Canada, October 1993.
22. J. H. Johnson. Substring matching for clone detection and change tracking. In Proceedings of the International Conference on Software Maintenance, pages 120–126. IEEE Computer Society, 1994.
23. R. E. Johnson and W. F. Opdyke. Refactoring and aggregation. In Object Technologies for Advanced Software, First JSSST International Symposium, volume 742, pages 264–278. Springer-Verlag, 1993.
24. T. Kamiya, S. Kusumoto, and K. Inoue. CCFinder: a multilinguistic token-based code clone detection system for large scale source code. IEEE Transactions on Software Engineering, 28(7):654–670, 2002.
25. C. Kapser and M. W. Godfrey. Toward a taxonomy of clones in source code: A case study. Evolution of Large-scale Industrial Software Applications (ELISA), Sept 2003.
26. R. Komondoor and S. Horwitz. Using slicing to identify duplication in source code. In 8th International Symposium on Static Analysis (SAS), 2001.
27. K. Kontogiannis, M. Galler, and R. DeMori. Detecting code similarity using patterns. Working Notes of the Third Workshop on AI and Software Engineering: Breaking the Toy Mold (AISE), 1995.
28. J. Krinke. Identifying similar code with program dependence graphs. In Eighth Working Conference on Reverse Engineering (WCRE), 2001.
29. Z. Li, Z. Chen, S. Srinivasan, and Y. Zhou. C-Miner: Mining Block Correlations in Storage Systems. In Proceedings of the 3rd USENIX Conference on File and Storage Technology, 2004.
30. U. Manber. Finding similar files in a large file system. In Proceedings of the USENIX Winter 1994 Technical Conference, pages 1–10, San Fransisco, CA, USA, 17–21 1994.
31. J. Mayrand, C. Leblanc, and E. Merlo. Experiment on the automatic detection of function clones in a software system using metrics. In Proceedings of the 1996 International Conference on Software Maintenance, page 244. IEEE Computer Society, 1996.
32. M. Musuvathi, D. Park, A. Chou, D. R. Engler, and D. L. Dill. CMC: A pragmatic approach to model checking real code. In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation, Dec. 2002.
33. L. Prechelt, G. Malpohl, and M. Philippsen. Finding plagiarisms among a set of programs with JPlag. Journal of Universal Computer Science, 8(11):1016–1038, Nov 2002.
34. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems, 15(4):391–411, 1997.
35. S. Schleimer, D. S. Wilkerson, and A. Aiken. Winnowing: local algorithms for document fingerprinting. In Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, pages 76–85. ACM Press, 2003.
36. J. Seward. Valgrind, an open-source memory debugger for x86-GNU/Linux. available at URL http://developer.kde.org/ sewardj/.
37. U. Stern and D. L. Dill. Automatic verification of the SCI cache coherence protocol. In Conference on Correct Hardware Design and Verification Methods, pages 21–34, 1995.
38. X. Yan, J. Han, and R. Afshar. CloSpan: Mining closed sequential patterns in large datasets. In Proceedings of 2003 SIAM International Conference on Data Mining (SDM’03), San Fransisco, CA, May 2003.
39. M. Zaki. SPADE: An efficient algorithm for mining frequent sequences. Machine Learning, 40:31–60, 2001.