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
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.