Integration of generic program analysis tools into a software development environment

Glynn, E., Hayes, I. and MacDonald, A.

    Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support program comprehension by augmenting the program text with additional information that may either be displayed with the program or used to allow more sophisticated navigation of the program, e.g., from an identifier's use to its definition. This paper outlines the addition of generic program analysis support to a generic, language-based, software development environment. The analysis tools are implemented in two phases: a languagedependent phase that extracts basic information from a program, such as its control flow graph; and a language-independent phase that performs a more sophisticated analysis of the basic information. This separation allows program analysis tools to be easily generated for a new language.
Cite as: Glynn, E., Hayes, I. and MacDonald, A. (2005). Integration of generic program analysis tools into a software development environment. In Proc. Twenty-Eighth Australasian Computer Science Conference (ACSC2005), Newcastle, Australia. CRPIT, 38. Estivill-Castro, V., Ed. ACS. 249-258.
pdf (from crpit.com) pdf (local if available) BibTeX EndNote GS