Source code analysis: A road map

FoSE 2007: Future of Software Engineering

Volumn , Issue , 2007, Pages 104-119

  Binkley, David ^a  

^a LOYOLA UNIVERSITY MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; SOFTWARE ENGINEERING;

ROAD MAP; SEMI-AUTOMATED ANALYSIS; SOURCE-CODE ANALYSIS;

AUTOMATION;

EID: 34748895724     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FOSE.2007.27     Document Type: Conference Paper

References (119)

1. L. O. Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen, May 1994. (DIKU report 94/19).
2. C. M. B. Botella, A. Gotlieb. Symbolic execution of floating-point computations. The Software Testing, Verification and Reliability Journal, to appear.
3. G. Balakrishnan and T. Reps. Analyzing memory accesses in x86 executables. In Proc. of the International Conference on Compiler Construction. Springer-Verlag, New York, NY, 2004.
4. T. Ball and S. G. Eick. Visualizing program slices. In A. L. Ambler and T. D. Kimura, editors, Proceedings of the Symposium on Visual Languages, Los Alamitos, CA, USA, Oct. 1994. IEEE Computer Society Press.
5. T. Ball and J. Larus. Efficient path profiling. In ACM/IEEE International Symposium on Microarchitecture, 1996.
6. nd IEEE International Workshop on Source Code Analysis and Manipulation, Montreal, Canada, Oct. 2002. IEEE Computer Society Press, Los Alamitos, California, USA.
7. A. Baresel, D. Binkley, M. Harman, and B. Korel. Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. In International Symposium on Software Testing and Analysis (ISSTA 2004), Omni Parker House Hotel, Boston, Massachusetts, July 2004. Appears in Software Engineering Notes, Volume 29, Number 4.
8. L. Bass, P. Clements, and R. Kazman. Software Architecture in Practice second edition. Addison Wesley, 2003.
9. K. Bennett and V. Rajlich. Software maintenance and evolution: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering. ACM Press, 2000.
10. A. Bertolino. Software testing research: Achievements, challenges, dreams. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
11. D. Binkley. Semantics guided regression test cost reduction. IEEE Transactions on Software Engineering, 23(8), Aug. 1997.
12. D. Binkley and K. B. Gallagher. Program slicing. In M. Zelkowitz, editor, Advances in Computing, Volume 43. Academic Press, 1996.
13. D. Binkley and M. Harman. Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms. In IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), Amsterdam, Netherlands, Sept. 2003. IEEE Computer Society Press, Los Alamitos, California, USA.
14. D. Binkley and M. Harman. Analysis and visualization of predicate dependence on formal parameters and global variables. IEEE Transactions on Software Engineering, 30(11), November 2004.
15. D. Binkley and M. Harman. A survey of empirical results on program slicing. Advances in Computers, 62, 2004.
16. D. Binkley, M. Harman, and J. Krinke. Characterizing, explaining, and exploiting the approximate nature of static analysis through animation. In Proc. of the IEEE Workshop on Source Code Analysis and Manipulation, Philadelphia, USA, September 2006.
17. A. Binstock. Extra-strength code cleaners, January 2006. www.infoworld.com/article/06/01/26/ 74270.05FEcodelint_1.html.
18. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. A static analyzer for large safety-critical software. In Proc. of the ACM SIGPLAN 2003 conference on Programming language design and implementation, New York, NY, USA, 2003. ACM Press.
19. R.Brooks. Towards a theory of comprehension of computer programs, volume 18. ACM Press Journal ManMachine Studies, 1983.
20. 2: Reverse engineering and reuse re-engineering. Journal of Software Maintenance : Research and Practice, 6(2), 1994.
21. G. Canfora and M. Di Penta. New frontiers of reverse engineering. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
22. B. Carey. Accidental invention points to end of light bulbs, October 2005. www.livescience.com.
23. J.-D. Choi, M. Burke, and P. Carini. Efficient flowsensitive interprocedural computation of pointer-induced aliases and side effects. In ACM, editor, Conference record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages: papers presented at the symposium, Charleston, South Carolina, January 10-13, 1993, New York, NY, USA, 1993. ACM Press.
24. H. Cleve and A. Zeller. Locating causes of program failures. In Proc. of the 2005 International Conference on Software Engineering, St. Louis, Missouri, May 2005.
25. J. Cobleigh, L. Clarke, and L. Osterweil. Flavers: A finite state verification technique for software systems. IBM Systems Journal - Software Testing and Verification, 41(1), 2002.
26. M. Collard. Addressing source code using srcml. In IEEE International Workshop on Program Comprehension Working Session: Textual Views of Source Code to Support Comprehension (IWPC'05), 2005.
27. J. Cordy, T. Dean, A. Malton, and K. Schneider. Source transformation in software engineering using the TXL transformation system. Information and Software Technology, 44(13), 2002.
28. J. Cordy et. al. eds. International Workshop on Program Comprehension. Computer Society Press, St. Louis, MO, 2005.
29. Coverity. www.coverity.com, 2006.
30. 9th European Conference on Software Maintenance and Reengineering, Manchester, UK, March 2005. IEEE Computer Society.
31. R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Prog. Lang. Syst., 13(4), 1991.
32. th IEEE Workshop on Program Comprehension, Berlin, Germany, Mar. 1996. IEEE Computer Society Press, Los Alamitos, California, USA.
33. B. Demsky, M. Ernst, P. Guo, S. McCamant, J. Perkins, and M. Rinard. Inference and enforcement of data structure consistency specifications. In International Symposium on Software Testing and Analysis (ISSTA), July 2006.
34. M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, and W. Visser. Formal software analysis : Emerging trends in software model checking. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
35. Edison Design Group. Compiler front ends, 2006.
36. M. Emami, R. Ghiya, and L. J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. ACM SIGPLAN Notices, 29(6), June 1994.
37. M. Ernst, J. Perkins, P. Guo, S. McCamant, C. Pacheco, M. Tschantz, and C. Xiao. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming, 2006.
38. M. Fahndrich, J. Foster, Z. Su, and A. Aiken. Partial online cycle elimination in inclusion constraint graphs. Proc. of the ACM SIGPLAN 98 Conference on Programming Language Design and Implementation, 33(5), 1998.
39. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3), July 1987.
40. C. N. Fischer and R. J. LeBlanc. Crafting a Compiler. Benjamin/Cummings Series in Computer Science. Benjamin/Cummings Publishing Company, Menlo Park, CA, 1988.
41. R. France and B. Rumpe. Model-driven development of complex systems: A research roadmap. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
42. K. B. Gallagher and J. R. Lyle. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8), Aug. 1991.
43. C. Gunter. Abstracting dependencies between software configuration items. ACM Transactions on Software Engineering and Methodology, 9(1), 2000.
44. R. Gupta, M. J. Harrold, and M. L. Soffa. An approach to regression testing using slicing. Proc. of the Int. Conf. on Software Maintenance, 1992.
45. R. Gupta, M. Soffa, and J. Howard. Hybrid slicing: integrating dynamic information with static analysis. ACM Transactions on Software Engineering and Methodology, 6(4), 1997.
46. S. Guyer and C. Lin. Client-driven pointer analysis. In FCRC Static Analysis Symposium, June 2003.
47. B. Hackett and A. Aiken. How is aliasing used in systems software? In SIGSOFT '06/FSE-14: Proc. of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, New York, NY, USA, 2006. ACM Press.
48. M. Harman. The current state and future of search-based software engineering. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
49. M. Harman, D. Binkley, and S. Danicic. Amorphous program slicing. Journal of Systems and Software, 68(1), Oct. 2003.
50. th IEEE International Workshop on Program Comprenhesion (IWPC'99), Pittsburgh, Pennsylvania, USA, May 1999. IEEE Computer Society Press, Los Alamitos, California, USA.
51. M. Harman, N. Gold, R. M. Hierons, and D. Binkley. Code extraction algorithms which unify slicing and concept assignment. In IEEE Working Conference on Reverse Engineering (WCRE 2002), Richmond, Virginia, USA, Oct. 2002. IEEE Computer Society Press, Los Alamitos, California, USA.
52. M. Harman, B. Korel, and P. Linos. Special issue on software maintenance and evolution. IEEE Transactions on Software Engineering, 31(10), 2005.
53. M. Harrold. Testing: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering. ACM Press, 2000.
54. M. Heimdahl. Safety and software intensive systems: Challenges old and new. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
55. D. Heuzeroth, T. Holl, G. Hogstrom, and W. Lowe. Automatic design pattern detection. In IEEE International Workshop on Program Comprehension, may 2003.
56. R. M. Hierons, M. Harman, and S. Danicic. Using program slicing to assist in the detection of equivalent mutants. Software Testing, Verification and Reliability, 9(4), 1999.
57. M. Hind. Pointer analysis - haven't we solved this problem yet? In Program Analysis for Software Tools and Engineering (PASTE'01), Snowbird, Utah, USA, June 2001. ACM.
58. S. Horwitz. Precise flow-insensitive may-alias analysis is np-hard. ACM Transactions on Programming Languages and Systems, 19(1), 1997.
59. th International Conference on Software Engineering, Melbourne, Australia, 1992.
60. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems, 12(1), 1990.
61. V. Issarny, M. Caporuscio, and N. Georgantas. A perspective on the future of middleware-based software engineering. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
62. D. Jackson and M. Rinard. Software analysis: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering. ACM Press, 2000.
63. M. Jazayeri. Web application development: The coming trends. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
64. J. Jones and M. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In Proc. of the 20th IEEE/ACM International Conference on Automated Software Engineering, 2005.
65. K. K7. www.klocwork.com, 2006.
66. S. Kan. Metrics and Models in Software Quality Engineering. Addison Wesley, 2002.
67. S. Khurshid and Y. Suen. Generalizing symbolic execution to library classes. In 6th ACM SIGPLAN-SIGSOFT'workshop on Program analysis for software tools and engineering, volume 31(1), New York, NY, USA, January 2005. ACM Press.
68. P. Koopman. Elements of the self-healing system problem space. In Workshop on Software Architectures for Dependable Systems (WADS), May 2003.
69. th IEEE International Workshop on Program Comprenhesion (IWPC'97), Dearborn, Michigan, USA, May 1997. IEEE Computer Society Press, Los Alamitos, California, USA.
70. th International Workshop on Source Code Analysis and Manipulation (SCAM 04), Chicago, Illinois, USA, Sept. 2004. IEEE Computer Society Press, Los Alamitos, California, USA.
71. A. Lakhotia, J. Li, A. Wallenstein, and Y. Yang. Towards a clone detection benchmark suite and results archive. In Proc. of the International Workshop on Program Comprehension, Portland, Oregon, May 2003.
72. W. Landi and B. G. Ryder. Pointer-induced aliasing: A problem classification. In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, FL, Jan. 1991. ACM Press.
73. W. Landi and B. G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI'92), SIGPLAN Notices, July 1992. Published as SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI'92), SIGPLAN Notices, volume 27, number 7.
74. D. Lawrie, C. Morrell, H. Feild, and D. Binkley. What's in a name? a study of identifiers. In 14th International Conference on Program Comprehension, 2006.
75. D. Liang and M. Harrold. Efficient computation of parameterized pointer information for interprocedural analyses. In Proc. of the International Symposium on static Analysis, 2001.
76. C. Liu, L. Fei, X. Yan, J. Han, and S. Midkiff. Statistical debugging: A hypothesis testing-based approach. IEEE Transactions on Software Engineering, 32(10), 2006.
77. nd International Conference on Computers and Applications, Peking, 1987. IEEE Computer Society Press, Los Alamitos, California, USA.
78. M. Lyu. Software reliability engineering: A roadmap. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
79. S. Mancoridis, B. S. Mitchell, Y.-F. Chen, and E. R. Gansner. Bunch: A clustering tool for the recovery and maintenance of software system structures. In Proceedings; IEEE International Conference on Software Maintenance. IEEE Computer Society Press, 1999.
80. A. Marcus and J. Maletic. Identification of high-level concept clones in source code. In Proc. of Automated Software Engineering, San Diego, CA, November 2001.
81. M. Martin and B. L. M. Lam. Finding application errors and security flaws using pql: a program query language. In Conference on Object-Oriented Programming, Systems, Languages and Applications, October 2005.
82. P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2), 2004.
83. A. Memon and Q. Xie. Studying the fault-detection effectiveness of gui test cases for rapidly evolving software. IEEE Transactions on Software Engineering, 31(10), 2005.
84. M. Mendonca and N. Sunderhaft. Mining software engineering data: A survey, 1999.
85. D. L. Métayer. Program analysis for software engineering: new applications, new requirements, new tools. ACM Computing Surveys, 28(4es), 1996.
86. B. Mitchell and S. Mancoridis. On the automatic modularization of software systems using the bunch tool. IEEE Transactions on Software Engineering, 32(3), March 2006.
87. L. Moonen. Generating robust parsers using island grammars. In Working Conference on Reverse Engineering, 2001.
88. G. Moore. Cramming more components onto integrated circuits. Electronics Magazine, 1965.
89. th Annual Symposium on Principles of Programming Languages, 2000.
90. H. Nilsson and P. Fritzson. Lazy algorithmic debugging: Ideas for practical implementation. In P. A. Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science. Springer Verlag, May 1993.
91. J. Ning, A. Engberts, and V. Kozaczynski. Automated support for legacy code understanding. Communications of the ACM, 37(5), 1994.
92. S. Pheng and C. Verbrugge. Dynamic data structure analysis for Java programs. In ICPC '06: Proc. of the 14th IEEE International Conference on Program Comprehension. IEEE Computer Society, 2006.
93. H. Pohlheim. Visualization of evolutionary algorithms set of standard techniques and multidimensional visualization. In W. Banzhaf, J. Daida, A. E. Eiben, M. H. Garzon, V Honavar, M. Jakiela, and R. E. Smith, editors, Proceedings of the Genetic and Evolutionary Computation Conference, volume 1, Orlando, Florida, USA, 13-17 July 1999. Morgan Kaufmann.
94. A. Pretschner, M. Broy, I. Krüger, and T. Stauner. Software engineering for automotive systems: A roadmap. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEECS Press, 2007.
95. F. Qian and L. Hendren. Towards dynamic interprocedural analysis in jvms. In Proc. of the 3rd Virtual Machine Research and Technology Symposium, San Jose, USA, May 2004. Usenix.
96. G. Ramalingam. Context-sensitive synchronizationsensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems, 22(1), 2000.
97. D. Ratiu and F. Deißenböck. How programs represent reality (and how they don't). In Proc. of the 13th Working Conference on Reverse Engineering (WCRE). IEEE Computer Society Press, 2006.
98. T. Reps. Program analysis via graph reachability. In M. Harman and K. Gallagher, editors, Information and Software Technology Special Issue on Program Slicing, volume 40(11 and 12). Elsevier Science B. V., 1998.
99. th Working Conference on Reverse Engineering, Richmond, Virginia, Oct. 2002. IEEE Computer Society Press, Los Alamitos, California, USA.
100. E. Ruf. Context-insensitive alias analysis reconsidered. ACM SIGPLAN Notices, 30(6), June 1995.
101. S. Rugaber. Program Comprehension, volume 35(20). Marcel Dekker, Inc. New York, 1995.
102. B. Ryder. Dimensions of precision in reference analysis of object-oriented programming languages. In Proc. of the Twelfth International Conference on Compiler Construction, Warsaw, Poland, April 2003.
103. D. Saff and M. Ernst. Reducing wasted development time via continuous testing. In Fourteenth International Symposium on Software Reliability Engineering, Denver, CO, November 17-20, 2003.
104. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3), 2002.
105. K. Sartipi. Software Architecture Recovery based-on Pattern Matching. PhD thesis, University of Waterloo, School of Computer Science, 2003.
106. D. Schmidt. Structure-preserving binary relations for program abstraction. Essence of Computation: Complexity, Analysis, Transformation, 2002.
107. G. Schulmeyer and J. Mcmanus. The Handbook of Software Quality Assurance (3rd Edition). Prentice-Hall, Inc., 1999.
108. N. Shahmehri. Generalized algorithmic debugging. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden, 1991. Available as Linköping Studies in Science and Technology, Dissertations, Number 260.
109. J. Silva. Algorithmic debugging strategies. In International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2006), 2006.
110. Sjøberg, T. Dybå, and M. Jørgensen. The future of empirical methods in software engineering research. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEECS Press, 2007.
111. D. Strein, H. Kratz, and W. Löwe. Cross-language program analysis. In Proc. of 2006 IEEE Workshop on Source Code Analysis and Manipulation (SCAM'06), Philadelphia, USA, September 2006.
112. A. Stuckenholz. Component evolution and versioning state of the art. ACM Press, 2005.
113. A. van Lamsewwrde. Formal specification: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering. ACM Press, 2000.
114. D. Weise, R. F. Crew, M. Ernst, and B. Steensgaard. Value dependence graphs: Representation without taxation. In Conference Record of POPL '94: 21st ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. ACM SIGACT and SIGPLAN, ACM Press, 1994.
115. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10(4), 1984.
116. R. P. Wilson and M. S. Lam. Efficient context-sensitive pointer analysis for C programs. ACM SIGPLAN Notices, 30(6), June 1995.
117. M. Woodside, G. Franks, and D. Petriu. The future of software performance engineering. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.
118. H. Yang and M. Ward. Successful Evolution of Software Systems. Artech House, 2003.
119. A. Zeller. The future of programming environments. Future of Software Engineering, L. Briand and A. Wolf (eds.), IEEE-CS Press, 2007.