Sciweavers

Share
ACSC
2005
IEEE

Integration of generic program analysis tools into a software development environment

10 years 5 months ago
Integration of generic program analysis tools into a software development environment
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.
Erica Glynn, Ian J. Hayes, Anthony MacDonald
Added 24 Jun 2010
Updated 24 Jun 2010
Type Conference
Year 2005
Where ACSC
Authors Erica Glynn, Ian J. Hayes, Anthony MacDonald
Comments (0)
books