loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Third IEEE International Workshop on Source Code Analysis and Manipulation
Online Cycle Detection and Difference Propagation for Pointer Analysis
Amsterdam, The Netherlands
September 26-September 27
ISBN: 0-7695-2005-7
ASCII Text
x 
 
David J. Pearce, Paul H.J. Kelly, Chris Hankin, "Online Cycle Detection and Difference Propagation for Pointer Analysis," Source Code Analysis and Manipulation, IEEE International Workshop on, pp. 3, Third IEEE International Workshop on Source Code Analysis and Manipulation, 2003.
 
 
BibTex
x
 
@article{ 10.1109/SCAM.2003.1238026,
author = {David J. Pearce and Paul H.J. Kelly and Chris Hankin},
title = {Online Cycle Detection and Difference Propagation for Pointer Analysis},
journal ={Source Code Analysis and Manipulation, IEEE International Workshop on},
volume = {0},
year = {2003},
isbn = {0-7695-2005-7},
pages = {3},
doi = {http://doi.ieeecomputersociety.org/10.1109/SCAM.2003.1238026},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Source Code Analysis and Manipulation, IEEE International Workshop on
TI - Online Cycle Detection and Difference Propagation for Pointer Analysis
SN - 0-7695-2005-7
SP
EP
A1 - David J. Pearce,
A1 - Paul H.J. Kelly,
A1 - Chris Hankin,
PY - 2003
KW - null
VL - 0
JA - Source Code Analysis and Manipulation, IEEE International Workshop on
ER -
 
David J. Pearce, Imperial College, London
Paul H.J. Kelly, Imperial College, London
Chris Hankin, Imperial College, London
This paper presents and evaluates a number of techniques to improve the execution time of interprocedural pointer analysis in the context of large C programs. The analysis is formulated as a graph of set constraints and solved using a worklist algorithm. Indirections lead to new constraints being added during this process.
In this work, we present a new algorithm for online cycle detection, and a difference propagation technique which records changes in a variable?s solution. Effectiveness of these and other methods are evaluated experimentally using nine common 'C' programs ranging between 1000 to 55000 lines of code.
Citation:
David J. Pearce, Paul H.J. Kelly, Chris Hankin, "Online Cycle Detection and Difference Propagation for Pointer Analysis," scam, pp.3, Third IEEE International Workshop on Source Code Analysis and Manipulation, 2003
Usage of this product signifies your acceptance of the Terms of Use.