Understanding C programs using the Combined C graph representation

Proceedings - 1994 International Conference on Software Maintenance, ICSM 1994

Volumn , Issue , 1994, Pages 172-180

  Kinloch, David A ^a   Munro, Malcolm ^a  

^a DURHAM UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE MAINTENANCE; DATA FLOW ANALYSIS; DATA TRANSFER; FLOW GRAPHS; PROLOG (PROGRAMMING LANGUAGE); STATIC ANALYSIS;

CONTROL FLOWS; FINE-GRAINED INTERMEDIATE REPRESENTATIONS; FLOW SENSITIVE; GRAPH REPRESENTATION; INTERMEDIATE REPRESENTATIONS; PROGRAM COMPREHENSION; PROGRAM REPRESENTATIONS; PROGRAM SLICE;

C (PROGRAMMING LANGUAGE);

EID: 84914134693     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSM.1994.336777     Document Type: Conference Paper

References (9)

1. M. Harrold and B. Malloy, "A unified interprocedural program representation for a maintenance environment," in Proceedings of the Conference on Software Maintenance - 1991, Sorrento, Italy, pp. 138-147, October 1991.
2. B. Kernighan and D. Ritchie, The C Programming Language. Englewood Cliffs, New Jersey: Prentice-Hall, second ed., 1988.
3. T. Bunter, "PERPLEX: An extensible tool architecture for C source code," Tech. Rep. Computer Science 6/93, School of Engineering and Computer Science, University of Durham, 1993.
4. K. Ottenstein and L. Ottenstein, "The program dependence graph in a software development environment," SIGPLAN Notices, Vol. 9, pp. 177-184, May 1984.
5. S. Horwitz, T. Reps, and D. Binkley, "Interprocedural slicing using dependence graphs," ACM Transactions on Programming Languages and Systems, Vol. 12, pp. 26-60, January 1990.
6. D. Kinloch and M. Munro, "A combined representation for the maintenance of C programs.," in Proceedings of the IEEE 2nd Workshop on Program Comprehension, Capri, Italy, pp. 119-127, July 1993.
7. S. Horwitz, J. Prins, and T. Reps, "On the adequacy of program dependence graphs for representing programs," in Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, San Diego, California, pp. 146-157, January 1988.
8. J. Ferrante, K. Ottenstein, and J. Warren, "The program dependence graph and its use in optimization," ACM Transactions on Programming Languages and Systems, Vol. 9, pp. 319-349, July 1987.
9. S. Horwitz, P. Pfeiffer, and T. Reps, "Dependence analysis for pointer variables," SIGPLAN Notices, Vol. 24, no. 7, pp. 28-40, 1989.