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.