Class ReachabilityTracerApp

  extended by joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
      extended by joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp
All Implemented Interfaces:
Direct Known Subclasses:
ReachabilityTracerApp.IPSSAReachabilityTracerApp, ReachabilityTracerApp.PAReachabilityTracerApp

public abstract class ReachabilityTracerApp
extends IPSSABuilder.Application

$Id: 2002 2004-10-16 04:13:11Z joewhaley $
V.Benjamin Livshits This is a sample application that prints all paths between two definitions. Use one of the subclasses that rely on different sources for def-use data.
See Also:

Nested Class Summary
static class ReachabilityTracerApp.IPSSAReachabilityTracerApp
          This is one that works on IPSSA.
static class ReachabilityTracerApp.PAReachabilityTracerApp
          This one uses PA results directly.
Field Summary
protected  String _def1_str
protected  String _def2_str
Fields inherited from class joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
Method Summary
protected  void parseParams(String[] argv)
protected abstract  void printPath(String def1_str, String def2_str)
          This will be added by implementations.
 void run()
Methods inherited from class joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
create, getBuilder, getName, initialize, setBuilder
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail


protected String _def1_str


protected String _def2_str
Method Detail


protected abstract void printPath(String def1_str,
                                  String def2_str)
This will be added by implementations.


protected void parseParams(String[] argv)
Specified by:
parseParams in class IPSSABuilder.Application


public void run()
Specified by:
run in interface Runnable
Specified by:
run in class IPSSABuilder.Application

Copyright © 2001-2008 John Whaley. All Rights Reserved.