Uses of Class
joeq.Compiler.Analysis.IPSSA.SSADefinition

Packages that use SSADefinition
joeq.Compiler.Analysis.IPSSA   
joeq.Compiler.Analysis.IPSSA.Apps   
joeq.Compiler.Analysis.IPSSA.Utils   
 

Uses of SSADefinition in joeq.Compiler.Analysis.IPSSA
 

Fields in joeq.Compiler.Analysis.IPSSA declared as SSADefinition
protected  SSADefinition SSABinding._destination
           
protected  SSADefinition SSAValue._destination
           
 

Methods in joeq.Compiler.Analysis.IPSSA that return SSADefinition
static SSADefinition SSAProcInfo.Helper.create_ssa_definition(SSALocation loc, Quad quad, jq_Method method)
           
 SSADefinition SSAValue.Copy.getDefinition()
           
 SSADefinition SSAValue.Phi.getDefinition(int pos)
           
 SSADefinition SSAProcInfo.Query.getDefinitionFor(SSALocation loc, Quad q)
           
 SSADefinition SSABinding.getDestination()
           
 SSADefinition SSAValue.getDestination()
           
 SSADefinition SSAProcInfo.Query.getLastDefinitionFor(SSALocation loc, Quad q, boolean strict)
           
static SSADefinition SSADefinition.Helper.lookupDefinition(String name)
          This is slow reverse lookup.
 SSADefinition SSAIterator.DefinitionIterator.nextDefinition()
           
 

Methods in joeq.Compiler.Analysis.IPSSA with parameters of type SSADefinition
 void SSAValue.Predicated.add(SSADefinition def, String predicate)
           
 void DefinitionGraph.addEdge(SSADefinition def1, SSADefinition def2)
          By default a true predicate edge is added
abstract  void DefinitionGraph.addEdge(SSADefinition def1, SSADefinition def2, DefinitionGraph.EdgeInfo ei)
           
protected  void DefinitionGraph.addNode(SSADefinition def)
           
 void SSAValue.UseCollection.addUsedDefinition(SSADefinition def)
           
 void SSAValue.OmegaPhi.addUsedDefinition(SSADefinition def)
           
abstract  SSAIterator.DefinitionIterator DefinitionGraph.getAllReached(SSADefinition def)
          All reaching definitions
abstract  SSAIterator.DefinitionIterator DefinitionGraph.getAllReaching(SSADefinition def)
          All reaching definitions
abstract  DefinitionGraph.EdgeInfo DefinitionGraph.getEdgeInfo(SSADefinition def1, SSADefinition def2)
          null returned means that there is no edge
abstract  SSAIterator.DefinitionIterator DefinitionGraph.getReached(SSADefinition def)
           
abstract  SSAIterator.DefinitionIterator DefinitionGraph.getReaching(SSADefinition def)
          One level of pointees
abstract  boolean DefinitionGraph.isRootNode(SSADefinition def)
           
abstract  boolean DefinitionGraph.isTerminalNode(SSADefinition def)
           
 void DefinitionGraph.printReachedToDot(SSADefinition def, PrintStream out)
           
 void DefinitionGraph.printReachingToDot(SSADefinition def, PrintStream out)
           
 

Constructors in joeq.Compiler.Analysis.IPSSA with parameters of type SSADefinition
SSABinding(Quad quad, SSADefinition def, SSAValue value)
           
SSAValue.SigmaPhi(ContextSet context, SSADefinition newDef, SSADefinition oldDef)
           
 

Uses of SSADefinition in joeq.Compiler.Analysis.IPSSA.Apps
 

Methods in joeq.Compiler.Analysis.IPSSA.Apps with parameters of type SSADefinition
protected  void ReachabilityTracerApp.IPSSAReachabilityTracerApp.printPath(SSADefinition def1, SSADefinition def2)
           
 

Uses of SSADefinition in joeq.Compiler.Analysis.IPSSA.Utils
 

Methods in joeq.Compiler.Analysis.IPSSA.Utils that return SSADefinition
 SSADefinition AnalysisObjectSpec.IPSSAObjectSpec.getDefinition()
           
 

Methods in joeq.Compiler.Analysis.IPSSA.Utils with parameters of type SSADefinition
static Collection ReachabilityTrace.Algorithms.collectReachabilityTraces(SSADefinition def1, SSADefinition def2)
           
static void SSAGraphPrinter.printToDot(SSADefinition def, PrintStream out)
          Print everything reachable from definition def.
 



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