joeq.Compiler.Analysis.IPSSA.Apps
Class ReachabilityTracerApp

java.lang.Object
  joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application
      joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp

All Implemented Interfaces:

Runnable

Direct Known Subclasses:

ReachabilityTracerApp.IPSSAReachabilityTracerApp, ReachabilityTracerApp.PAReachabilityTracerApp

public abstract class ReachabilityTracerApp
extends IPSSABuilder.Application

Version:

$Id: ReachabilityTracerApp.java 2002 2004-10-16 04:13:11Z joewhaley $

Author:

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:

IPSSABuilder.Application

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

_builder

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

_def1_str

protected String _def1_str

_def2_str

protected String _def2_str

Method Detail

printPath

protected abstract void printPath(String def1_str,
                                  String def2_str)

This will be added by implementations.

parseParams

protected void parseParams(String[] argv)

Specified by:

parseParams in class IPSSABuilder.Application

run

public void run()

Specified by:

run in interface Runnable

Specified by:

run in class IPSSABuilder.Application