loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System
Santa Barbara, California
July 30-August 03
ISBN: 0-7695-0774-3
ASCII Text
x 
 
Michael Hind, Anthony Pioli, "Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System," Technology of Object-Oriented Languages, International Conference on, pp. 49, Technology of Object-Oriented Languages and Systems (TOOLS 34'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.2000.868958,
author = {Michael Hind and Anthony Pioli},
title = {Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {2000},
issn = {1530-2067},
pages = {49},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.868958},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System
SN - 1530-2067
SP
EP
A1 - Michael Hind,
A1 - Anthony Pioli,
PY - 2000
KW - Program Analysis
KW - Multiple Inheritance
KW - Pointer Analysis
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
Michael Hind, IBM Watson Research Center
Anthony Pioli, Register.com
This paper describes experiences with the design and implementation of the NPIC program analysis system. We describe how the object-oriented design of the intermediate representation provides front end and analysis independence using the abstract factory pattern, and illustrate how using multiple inheritance allows it to be extended to support program analysis. We also describe how the intermediate representation can be serialized to and from a file. The techniques described in this work provide useful insight into the construction of an object-oriented program analysis system.
Index Terms:
Program Analysis, Multiple Inheritance, Pointer Analysis
Citation:
Michael Hind, Anthony Pioli, "Traveling Through Dakota: Experiences with an Object-Oriented Program Analysis System," tools, pp.49, Technology of Object-Oriented Languages and Systems (TOOLS 34'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.