Effects of pointers on data dependences

Proceedings - IEEE Workshop on Program Comprehension

Volumn 2001-January, Issue , 2001, Pages 39-49

  Orso, A ^a   Sinha, S ^a   Harrold, M J ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Algorithm design and analysis; Availability; Data analysis; Educational institutions; Reverse engineering; Taxonomy

Indexed keywords

APPLICATION PROGRAMS; AVAILABILITY; COMPUTER PROGRAMMING; DATA REDUCTION; REVERSE ENGINEERING; TAXONOMIES;

ALGORITHM DESIGN AND ANALYSIS; DATA DEPENDENCE; EDUCATIONAL INSTITUTIONS; PROGRAM SLICING; PROGRAM UNDERSTANDING; SPECIFIC LANGUAGES;

PROGRAM PROCESSORS;

EID: 84951163283     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPC.2001.921712     Document Type: Conference Paper

References (28)

1. H. Agrawal, R. A. DeMillo, and E. H. Spafford. Dynamic slicing in the presence of unconstrained pointers. In Proceedings of the symposium on Testing, Analysis, and Verification, pages 60-73, Oct. 1991.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers, Principles, Techniques, and Tools. Addison-Wesley Publishing Company, Reading, MA, 1986.
3. L. O. Andersen. Program analysis and specialization for the C programming language. Technical Report 94-19, University of Copenhagen, 1994.
4. D. C. Atkinson and W. G. Griswold. Effective whole-program analysis in the presence of pointers. In Proceedings of ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering, pages 46-55, Nov. 1998.
5. L. Bent, D. C. Atkinson, and W. G. Griswold. A comparative study of two whole-program slicers for C. Technical Report UCSD TR CS2000-0643, University of California at San Diego, May 2000.
6. D. W. Binkley. Slicing in the presence of parameter aliasing. In Software Engineering Research Forum, pages 261-268, Nov. 1993.
7. D. W. Binkley and J. R. Lyle. Application of the pointer state subgraph to static program slicing. The Journal of Systems and Software, 40(1):17-27, Jan. 1998.
8. G. Canfora, A. Cimitile, and A. D. Lucia. Conditioned program slicing. Information and Software Technology, 40(11-12):595-608, November 1998. Special issue on program slicing.
9. P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Trans. Softw. Eng., 14(10):1483-1498, Oct. 1988.
10. P. L. R. Group. PROLANGS Analysis Framework. http://www.prolangs.rutgers.edu/, Rutgers University, 1998.
11. M. Harman and S. Danicic. Amorphous program slicing. In Proceedings of the Fifth International Workshop on Program Comprehension. IEEE Computer Society Press, 1997.
12. M. J. Harrold and N. Ci. Reuse-driven interprocedural slicing. In Proceedings of the 20th International Conference on Software Engineering, pages 74-83, Apr. 1998.
13. M. J. Harrold and G. Rothermel. Aristotle: A system for research on and development of program-analysis-based tools. Technical Report OSU-CISRC-3/97-TR17, The Ohio State University, Mar. 1997.
14. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Prog. Lang. Syst., 12(1):26-60, Jan. 1990.
15. W. Landi and B. G. Ryder. A safe approximate algorithm for interprocedural pointer aliasing. In Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, pages 235-248, July 1992.
16. D. Liang and M. J. Harrold. Efficient points-to analysis for whole-program analysis. In Proceedings of ESEC/FSE '99 7th European Software Engineering Conference and 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 1687 of Lecture Notes in Computer Science, pages 199-215. Springer-Verlag, Sept. 1999.
17. D. Liang and M. J. Harrold. Reuse-driven interprocedural slicing in the presence of pointers and recursion. In Proceedings of the International Conference on Software Maintenance, pages 421-432, August-September 1999.
18. E. Merlo and G. Altoniol. Pointer sensitive def-use pre-dominance, post-dominance and synchronous dominance relations for unconstrained def-use intraprocedural computation. Technical Report EPM/RT-00/01, Ecole Polytechnique of Montreal, Mar. 2000.
19. A. Orso, S. Sinha, and M. J. Harrold. Effects of pointers on data dependences and program slicing. Technical Report GIT-CC-00-33, Georgia Institute of Technology, November 2000.
20. T. J. Ostrand and E. J. Weyuker. Data flow-based test adequacy analysis for languages with pointers. In Proceedings of the Symposium on Testing, Analysis, and Verification, pages 74-86, Oct. 1991.
21. H. Pande, W. Landi, and B. G. Ryder. Interprocedural def-use associations for C systems with single level pointers. IEEE Trans. Softw. Eng., 20(5):385-403, May 1994.
22. S. Rapps and E. J. Weyuker. Selecting software test data using data flow information. IEEE Trans. Softw. Eng., SE-11(4):367-375, Apr. 1985.
23. M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In 4th International Static Analysis Symposium, volume 1302 of Lecture Notes in Computer Science, pages 16-34, Sept. 1997.
24. S. Sinha, M. J. Harrold, and G. Rothermel. System-dependence-graph-based slicing of programs with arbitrary interprocedural control flow. In Proceedings of the 21st International Conference on Software Engineering, pages 432-441, May 1999.
25. B. Steensgaard. Points-to analysis in almost linear time. In Conference Record of the 23rd ACM Symposium on Principles of Programming Languages, pages 32-41, Jan. 1996.
26. P. Tonella. Effects of different flow insensitive points- to analyses on DEF/USE sets. In Proceedings of the 3rd European Conference on Software Maintenance and Reengineering, pages 62-69, Mar. 1999.
27. P. Tonella, G. Antoniol, R. Fiutem, and E. Merlo. Variable precision reaching definitions analysis. Journal of Software Maintenance: Research and Practice, 11(2):117-142, March-April 1999.
28. M. Weiser. Program slicing. IEEE Trans. Softw. Eng., 10(4):352-357, July 1984.