Application of the pointer state subgraph to static program slicing

Journal of Systems and Software

Volumn 40, Issue 1, 1998, Pages 17-27

  Binkley, David W ^a   Lyle, James R ^a  

^a NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FLOWCHARTING; GRAPH THEORY;

POINTER STATE SUBGRAPH; STATIC ANALYSIS TOOLS; STATIC PROGRAM SLICING;

PROGRAM DEBUGGING;

EID: 0031649468     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(97)00016-2     Document Type: Article

References (30)

1. ANSI, American National Standard for Information Systems - Programming Language - C. Technical Report ANSI X3.159-189/FIPS PUB 160, American National Standards Institute, 1430 Broadway New York, New York 10018, December 1989.
2. Bates, S. and Horwitz, S. Incremental program testing using program dependence graphs. Conference Record of the Twentieth ACM Symposium on Principles of Programming Languages, January 10-13 1993.
3. Beck, J. Program and interface slicing for reverse engineering. Proceeding of the Fifteenth International Conference on Software Engineering, 1993.
4. Binkley, D. Reducing the cost of regression testing by semantics guided test case selection. IEEE International Conference on Software Maintenance, IEEE Computer Society Washington, DC., pages 251-260, October 1995.
5. Binkley, D., Horwitz, S., and Reps, T. Program integration for languages with procedure calls. ACM Transactions on Software Engineering and Methodology, 4(1):3-35, January (1995).
6. Deutsch, A. Interprocedural may-alias analysis for pointers: beyond k-limiting. In Proceedings of the ACM SIG-PLAN 94 Conference on Programming Language Design and Implementation, pages 230-241, Orlando, Florida, June 1994.
7. Ferrante, J., Ottenstein, K., and Warren, J. The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems, 9(3):319-349, July (1987).
8. Gallagher, K. B. and Lyle, J. R. Using program slicing in software maintenance. IEEE Transactions on Software Engineering, 17(8):751-761, August (1991).
9. Horwitz, S., Pfeiffer, P., and Reps, T. Dependence analysis for pointer variables. Proceedings of the ACM SIGPLAN 89 Conference on Programming Language Design and Implementation, 24(7):28-40, July (1989a).
10. Horwitz, S., Prins, J., and Reps, T. Integrating non-interfering versions of programs. ACM Transactions on Programming Languages and Systems, 11(3):345-347, July (1989b).
11. Horwitz, S., Reps, T., and Binkley, D. Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and System, 12(1):35-46, January (1990).
12. Hummel, J., Hendren, L., and Nicolau, A. A general data dependence test for dynamic, pointer-based data structures. In Proceedings of the ACM SIGPLAN 94 Conference on Programming Language Design and Implementation, pages 218-229, Orlando, Florida, June 1994.
13. Hwang, J., Du, M., and Chou, C. Finding program slices for recursive procedures. Proceedings of the Twelfth International Computer Software and Applications Conference (COMPSAC '88), pages 220-227, October 1988.
14. Jiang, J., Zhou, X., and Robson, D. J. Program slicing for C: The problem in implementation. Proceedings of the Conference on Software Maintenance, IEEE Conference on Software Maintenance, IEEE Computer Society Washington, DC, pages 182-190, Sorrento, Italy, October 1991.
15. Jones, N. D. and Muchnick, S. S. Program flow analysis, theory, and applications. In Flow Analysis and Optimization of LISP-like Structures, pages 102-131, Prentice-Hall, 1982.
16. Larus, J. R. and Hilfinger, P. N. Detecting conflicts between structure accesses. In Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, Atlanta, GA, June, 1988, ACM SIGPLAN Notices, 1988.
17. Lyle, J. R. and Binkley, D. W. Program slicing in the presence of pointers. Proceedings of the 3rd Annual Software Engineering Research Forum, November 11-12 1993.
18. Lyle, J. R., and Weiser, M. D. Experiments in Slicing-Based Debugging Aids. In Empirical Studies of Programmers, (Elliot Soloway and Sitharama Iyengar, eds.), Ablex Publishing Corporation, Norwood, New Jersey, 1986.
19. Lyle, J. R., and Weiser, M. D. Automatic program bug location by program slicing. Proceeding of the Second International Conference on Computers and Applications, pages 877-882, June 1987.
20. Lyle, J. R., Wallace, D. R., Graham, J. R., Gallagher, K. B., Poole, J. B., and Binkley, D. W. A case tool to evaluate functional diversity in high integrity software. Technical Report IR 5691, U.S. Department of Commerce, Technology Administration, National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD, 1995.
21. Neirynck, A., Panangaden, P., and Demers, A. J. Efficient analysis in higher-order languages. International Journal of Parallel Programming Integration, 18(1):1-37, (1989).
22. Ostrand, T. J. Data-flow testing with pointers and function calls. Proceedings of the Pacific Northwest Software Quality Conference, 1990.
23. Ott, L., and Thuss, J. The relationship between slices and module cohesion. International Conference on Software Engineering, May 1989.
24. Pande, H., Landi, W., and Ryder, B. Interprocedural defuse association for C systems with single level pointers. IEEE Transactions on Software Engineering, 20(5):385-403, May (1994).
25. Pfeiffer, P. Dependence-based representations for programs with reference variables. PhD thesis, Univ. of Wisconsin, Madison, WI, 1991.
26. Ruf, E. Context-insensitive alias analysis reconsidered. In Proceedings of the ACM SIGPLAN 95 Conference on Programming Language Design and Implementation, pages 13-22, La Jolla, California, June 1995.
27. Tip, F. Generation of Program Analysis Tools. PhD thesis, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, 1995a.
28. Tip, F. A survey of program slicing techniques. Journal of Programming Languages, September (1995b).
29. Weiser, M. Programmers use slicing when debugging. CACM, 25(7):446-452, July (1982).
30. Weiser, M. Program slicing, IEEE Transactions on Software Engineering, 10:352-357, July (1984).