| Package | Description |
|---|---|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.cfg |
This package provides control-flow graph utilities.
|
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| 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.cfg |
This package supports interprocedural control-flow graphs, and control-flow
graphs specialized for context.
|
| com.ibm.wala.ipa.slicer | |
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.util.ssa |
A set of classes facilitating the construction of synthetic methods.
|
| Modifier and Type | Method and Description |
|---|---|
void |
TypeInference.TypeOperatorFactory.visitPhi(SSAPhiInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
Collection<SSAPhiInstruction> |
InducedCFG.getAllPhiInstructions() |
Collection<SSAPhiInstruction> |
InducedCFG.BasicBlock.getPhis() |
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.BasicBlock.addPhi(SSAPhiInstruction phiInstruction) |
void |
InducedCFG.BranchVisitor.visitPhi(SSAPhiInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAPhiInstruction |
JavaLanguage.JavaInstructionFactory.PhiInstruction(int iindex,
int result,
int[] params) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitPhi(SSAPhiInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitPhi(SSAPhiInstruction instruction) |
void |
PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitPhi(SSAPhiInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
Iterator<SSAPhiInstruction> |
BasicBlockInContext.iteratePhis() |
| Modifier and Type | Method and Description |
|---|---|
SSAPhiInstruction |
PhiStatement.getPhi() |
| Constructor and Description |
|---|
PhiStatement(CGNode node,
SSAPhiInstruction phi) |
| Modifier and Type | Method and Description |
|---|---|
SSAPhiInstruction |
SSACFG.BasicBlock.getPhiForLocal(int n)
This method is used during SSA construction.
|
SSAPhiInstruction |
SSACFG.BasicBlock.getPhiForStackSlot(int slot)
This method is used during SSA construction.
|
SSAPhiInstruction |
PhiValue.getPhiInstruction() |
SSAPhiInstruction |
SSAInstructionFactory.PhiInstruction(int iindex,
int result,
int[] params) |
| Modifier and Type | Method and Description |
|---|---|
Iterator<SSAPhiInstruction> |
SSACFG.BasicBlock.iteratePhis() |
Iterator<SSAPhiInstruction> |
ISSABasicBlock.iteratePhis() |
| Modifier and Type | Method and Description |
|---|---|
void |
SSACFG.BasicBlock.addPhiForLocal(int n,
SSAPhiInstruction phi) |
void |
SSACFG.BasicBlock.addPhiForStackSlot(int slot,
SSAPhiInstruction phi) |
void |
SSAInstruction.IVisitor.visitPhi(SSAPhiInstruction instruction) |
void |
SSAInstruction.Visitor.visitPhi(SSAPhiInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSACFG.BasicBlock.removePhis(Set<SSAPhiInstruction> toRemove)
Remove any phis in the set.
|
| Modifier and Type | Method and Description |
|---|---|
SSAPhiInstruction |
TypeSafeInstructionFactory.PhiInstruction(int iindex,
SSAValue result,
Collection<? extends SSAValue> params)
Combine SSA-Values into a newone.
|
Copyright © 2015. All rights reserved.