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:

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

Constructor Summary

ReachabilityTracerApp.IPSSAReachabilityTracerApp()

Method Summary

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

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

Constructor Detail

ReachabilityTracerApp.IPSSAReachabilityTracerApp

public ReachabilityTracerApp.IPSSAReachabilityTracerApp()