Conference paper
Integration of generic program analysis tools into a software development environment
ACSC '05 Proceedings of the 28th Australasian Conference on Computer Science, Vol.38, pp.249-257
Australasian Conference on Computer Science, 28th (Newcastle, Australia, 31-Jan-2005–03-Feb-2005)
Australian Computer Society Inc.
2005
Abstract
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 language-dependent 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.
Details
- Title
- Integration of generic program analysis tools into a software development environment
- Authors
- Erica Mealy (Author) - University of QueenslandIan Hayes (Author) - University of QueenslandAnthony MacDonald (Author) - University of Queensland
- Contributors
- Vladimir Estivill-Castro (Editor)
- Publication details
- ACSC '05 Proceedings of the 28th Australasian Conference on Computer Science, Vol.38, pp.249-257
- Conference details
- Australasian Conference on Computer Science, 28th (Newcastle, Australia, 31-Jan-2005–03-Feb-2005)
- Publisher
- Australian Computer Society Inc.
- Date published
- 2005
- ISBN
- 1920682201
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland; School of Science, Technology and Engineering; Engage Research Lab
- Language
- English
- Record Identifier
- 99451390202621
- Output Type
- Conference paper
Metrics
163 Record Views