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:

java.lang.Runnable

Direct Known Subclasses:

ReachabilityTracerApp.IPSSAReachabilityTracerApp, ReachabilityTracerApp.PAReachabilityTracerApp

public abstract class ReachabilityTracerApp
extends IPSSABuilder.Application

Version:

$Id: ReachabilityTracerApp.java,v 1.8 2004/10/16 04:11:52 joewhaley Exp $

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.

Method Summary

void

run()

Methods inherited from class joeq.Compiler.Analysis.IPSSA.IPSSABuilder.Application

create, getName

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Specified by:

run in class IPSSABuilder.Application