Uses of Class
com.ibm.wala.ssa.DefUse

Packages that use DefUse

Package	Description
com.ibm.wala.analysis.reflection	This package provides functions to deal with reflection.
com.ibm.wala.analysis.reflection.java7
com.ibm.wala.demandpa.flowgraph
com.ibm.wala.escape
com.ibm.wala.ipa.callgraph	This package provides basic interfaces and functions for call graph construction.
com.ibm.wala.ipa.callgraph.impl	This package provides some implementations of basic functions needed for various call graph construction algorithms.
com.ibm.wala.ipa.callgraph.propagation	This package provides the base layer for propagation-based call graph construction and pointer analysis.
com.ibm.wala.ipa.callgraph.propagation.cfa	This package provides RTA call graph construction.
com.ibm.wala.ssa	This package provides the WALA SSA IR.

Uses of DefUse in com.ibm.wala.analysis.reflection

Methods in com.ibm.wala.analysis.reflection that return DefUse

Modifier and Type	Method and Description
DefUse	ReflectiveInvocationInterpreter.getDU(CGNode node)
DefUse	JavaLangClassContextInterpreter.getDU(CGNode node)
DefUse	GetMethodContextInterpreter.getDU(CGNode node)
DefUse	GetClassContextInterpeter.getDU(CGNode node)
DefUse	FactoryBypassInterpreter.getDU(CGNode node)
DefUse	CloneInterpreter.getDU(CGNode node)
DefUse	ClassNewInstanceContextInterpreter.getDU(CGNode node)
DefUse	ClassFactoryContextInterpreter.getDU(CGNode node)

Uses of DefUse in com.ibm.wala.analysis.reflection.java7

Methods in com.ibm.wala.analysis.reflection.java7 that return DefUse

Modifier and Type	Method and Description
DefUse	MethodHandles.ContextInterpreterImpl.getDU(CGNode node)

Uses of DefUse in com.ibm.wala.demandpa.flowgraph

Fields in com.ibm.wala.demandpa.flowgraph declared as DefUse

Modifier and Type	Field and Description
protected DefUse	SimpleDemandPointerFlowGraph.StatementVisitor.du Def-use information
protected DefUse	DemandPointerFlowGraph.StatementVisitor.du Def-use information

Methods in com.ibm.wala.demandpa.flowgraph with parameters of type DefUse

Modifier and Type	Method and Description
protected void	SimpleDemandPointerFlowGraph.addNodeInstructionConstraints(CGNode node, IR ir, DefUse du) Add pointer flow constraints based on instructions in a given node
protected void	AbstractDemandFlowGraph.addNodeInstructionConstraints(CGNode node, IR ir, DefUse du) Add pointer flow constraints based on instructions in a given node
protected SimpleDemandPointerFlowGraph.StatementVisitor	SimpleDemandPointerFlowGraph.makeVisitor(ExplicitCallGraph.ExplicitNode node, IR ir, DefUse du)

Constructors in com.ibm.wala.demandpa.flowgraph with parameters of type DefUse

Constructor and Description
SimpleDemandPointerFlowGraph.StatementVisitor(CGNode node, IR ir, DefUse du)

Uses of DefUse in com.ibm.wala.escape

Methods in com.ibm.wala.escape with parameters of type DefUse

Modifier and Type	Method and Description
static boolean	LocalLiveRangeAnalysis.isLive(int v, int instructionIndex, IR ir, DefUse du) Is the variable with value number v live immediately after a particular instruction index? Algorithm: returns true if there is a path from pc to some use of v that does not traverse the def of v

Uses of DefUse in com.ibm.wala.ipa.callgraph

Methods in com.ibm.wala.ipa.callgraph that return DefUse

Modifier and Type	Method and Description
DefUse	AnalysisCache.getDefUse(IR ir) Find or create a DefUse for the IR using the Everywhere context
DefUse	CGNode.getDU()

Uses of DefUse in com.ibm.wala.ipa.callgraph.impl

Methods in com.ibm.wala.ipa.callgraph.impl that return DefUse

Modifier and Type	Method and Description
DefUse	ExplicitCallGraph.ExplicitNode.getDU()

Uses of DefUse in com.ibm.wala.ipa.callgraph.propagation

Fields in com.ibm.wala.ipa.callgraph.propagation declared as DefUse

Modifier and Type	Field and Description
protected DefUse	SSAPropagationCallGraphBuilder.ConstraintVisitor.du Def-use information

Methods in com.ibm.wala.ipa.callgraph.propagation that return DefUse

Modifier and Type	Method and Description
DefUse	SSAContextInterpreter.getDU(CGNode node)

Methods in com.ibm.wala.ipa.callgraph.propagation with parameters of type DefUse

Modifier and Type	Method and Description
protected void	SSAPropagationCallGraphBuilder.addNodePassthruExceptionConstraints(CGNode node, IR ir, DefUse du) Add constraints to represent the flow of exceptions to the exceptional return value for this node
protected boolean	SSAPropagationCallGraphBuilder.contentsAreInvariant(SymbolTable symbolTable, DefUse du, int valueNumber) A value is "invariant" if we can figure out the instances it can ever point to locally, without resorting to propagation.
protected boolean	SSAPropagationCallGraphBuilder.ConstraintVisitor.contentsAreInvariant(SymbolTable symbolTable, DefUse du, int valueNumber)
protected boolean	SSAPropagationCallGraphBuilder.contentsAreInvariant(SymbolTable symbolTable, DefUse du, int[] valueNumbers)
protected boolean	SSAPropagationCallGraphBuilder.ConstraintVisitor.contentsAreInvariant(SymbolTable symbolTable, DefUse du, int[] valueNumber)
protected InstanceKey[]	SSAPropagationCallGraphBuilder.ConstraintVisitor.getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber)
InstanceKey[]	SSAPropagationCallGraphBuilder.getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber, HeapModel hm) precondition:contentsAreInvariant(valueNumber)
protected InstanceKey[]	SSAPropagationCallGraphBuilder.getInvariantContents(SymbolTable symbolTable, DefUse du, CGNode node, int valueNumber, HeapModel hm, boolean ensureIndexes)
boolean	SSAPropagationCallGraphBuilder.hasNoInterestingUses(CGNode node, int vn, DefUse du)

Uses of DefUse in com.ibm.wala.ipa.callgraph.propagation.cfa

Methods in com.ibm.wala.ipa.callgraph.propagation.cfa that return DefUse

Modifier and Type	Method and Description
DefUse	FallbackContextInterpreter.getDU(CGNode node)
DefUse	DelegatingSSAContextInterpreter.getDU(CGNode node)
DefUse	DefaultSSAInterpreter.getDU(CGNode node)
DefUse	ContextInsensitiveSSAInterpreter.getDU(CGNode node)

Uses of DefUse in com.ibm.wala.ssa

Methods in com.ibm.wala.ssa that return DefUse

Modifier and Type	Method and Description
DefUse	SSACache.findOrCreateDU(IMethod m, Context c, SSAOptions options)
DefUse	SSACache.findOrCreateDU(IR ir, Context C)