joeq.Compiler.Analysis.IPSSA.Apps
Class ReachabilityTracerApp.IPSSAReachabilityTracerApp

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

All Implemented Interfaces:

Runnable

Enclosing class:

ReachabilityTracerApp

public static class ReachabilityTracerApp.IPSSAReachabilityTracerApp
extends ReachabilityTracerApp

This is one that works on IPSSA.

Nested Class Summary

Nested classes/interfaces inherited from class joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp

ReachabilityTracerApp.IPSSAReachabilityTracerApp, ReachabilityTracerApp.PAReachabilityTracerApp

Field Summary

Fields inherited from class joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp

_def1_str, _def2_str

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

_builder

Constructor Summary

ReachabilityTracerApp.IPSSAReachabilityTracerApp()

Method Summary

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

Methods inherited from class joeq.Compiler.Analysis.IPSSA.Apps.ReachabilityTracerApp

parseParams, 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

Constructor Detail

ReachabilityTracerApp.IPSSAReachabilityTracerApp

public ReachabilityTracerApp.IPSSAReachabilityTracerApp()

Method Detail

printPath

protected void printPath(String def1_str,
                         String def2_str)

Description copied from class: ReachabilityTracerApp

This will be added by implementations.

Specified by:

printPath in class ReachabilityTracerApp

printPath

protected void printPath(SSADefinition def1,
                         SSADefinition def2)