A combined representation for the maintenance of C programs
- 31 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 119-127
- https://doi.org/10.1109/wpc.1993.263899
Abstract
An important aid to the problems of program comprehension has been the use of static analysis tools to provide useful and up to date information on a program. Through the use of different views a maintainer can gain a much clearer understanding of a program. A drawback of static analysis tools is that various representations of the code are required to construct the different views of the program. A solution is to devise a single combined representation containing sufficient information to allow construction of each required view. The paper describes research to extend an existing unified interprocedural graph to allow the representation of C programs. Techniques for the dependence analysis of pointer variables are described and the construction of interprocedural definition-use information in the presence of pointer parameters addressed. A fine grained program representation, the Combined C Graph (CCG), containing three new edge types is introduced.Keywords
This publication has 10 references indexed in Scilit:
- A unified interprocedural program representation for a maintenance environmentPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Computation of interprocedural definition and use dependenciesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A practical algorithm for exact array dependence analysisCommunications of the ACM, 1992
- A safe approximate algorithm for interprocedural aliasingACM SIGPLAN Notices, 1992
- Interprocedural Def-Use associations in C programsPublished by Association for Computing Machinery (ACM) ,1991
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Dependence analysis for pointer variablesACM SIGPLAN Notices, 1989
- The program summary graph and flow-sensitive interprocedual data flow analysisPublished by Association for Computing Machinery (ACM) ,1988
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- The program dependence graph in a software development environmentACM SIGPLAN Notices, 1984