Sciweavers

PASTE
2005
ACM

Representation-independent program analysis

13 years 9 months ago
Representation-independent program analysis
Program analysis has many applications in software engineering and high-performance computation, such as program understanding, debugging, testing, reverse engineering, and optimization. A ubiquitous compiler infrastructure does not exist; therefore, program analysis is essentially reimplemented for each compiler infrastructure. The goal of the OpenAnalysis toolkit is to separate analysis from the intermediate representation (IR) in a way that allows the orthogonal development of compiler infrastructures and program analysis. Separation of analysis from specific IRs will allow faster development of compiler infrastructures, the ability to share and compare analysis implementations, and in general quicker breakthroughs and evolution in the area of program analysis. This paper presents how we are separating analysis implementations from IRs with analysis-specific, IR-independent interfaces. Analysis-specific IR interfaces for alias/pointer analysis algorithms and reaching constants i...
Michelle Mills Strout, John M. Mellor-Crummey, Pau
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where PASTE
Authors Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland
Comments (0)