| Package | Description |
|---|---|
| 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.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 |
InducedCFG.BranchVisitor.visitConditionalBranch(SSAConditionalBranchInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAConditionalBranchInstruction |
JavaLanguage.JavaInstructionFactory.ConditionalBranchInstruction(int iindex,
com.ibm.wala.shrikeBT.IConditionalBranchInstruction.IOperator operator,
TypeReference type,
int val1,
int val2,
int target) |
| Modifier and Type | Method and Description |
|---|---|
SSAConditionalBranchInstruction |
SSAInstructionFactory.ConditionalBranchInstruction(int iindex,
com.ibm.wala.shrikeBT.IConditionalBranchInstruction.IOperator operator,
TypeReference type,
int val1,
int val2,
int target) |
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.util.collections.Pair<Integer,SSAInstruction> |
SSAPiNodePolicy.getPi(SSAConditionalBranchInstruction cond,
SSAInstruction def1,
SSAInstruction def2,
SymbolTable symbolTable)
Do we need to introduce a new name for some value after deciding on an outcome for a conditional branch instruction?
If so, returns a pair consisting of the value number needing renaming, and the instruction which should be recorded as the
cause of the pi instruction
|
com.ibm.wala.util.collections.Pair<Integer,SSAInstruction> |
NullTestPiPolicy.getPi(SSAConditionalBranchInstruction cond,
SSAInstruction def1,
SSAInstruction def2,
SymbolTable symbolTable) |
com.ibm.wala.util.collections.Pair<Integer,SSAInstruction> |
InstanceOfPiPolicy.getPi(SSAConditionalBranchInstruction cond,
SSAInstruction def1,
SSAInstruction def2,
SymbolTable symbolTable) |
com.ibm.wala.util.collections.Pair<Integer,SSAInstruction> |
CompoundPiPolicy.getPi(SSAConditionalBranchInstruction cond,
SSAInstruction def1,
SSAInstruction def2,
SymbolTable symbolTable) |
void |
SSAInstruction.IVisitor.visitConditionalBranch(SSAConditionalBranchInstruction instruction) |
void |
SSAInstruction.Visitor.visitConditionalBranch(SSAConditionalBranchInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAConditionalBranchInstruction |
TypeSafeInstructionFactory.ConditionalBranchInstruction(int iindex,
com.ibm.wala.shrikeBT.IConditionalBranchInstruction.IOperator operator,
TypeReference type,
int val1,
int val2,
int target) |
Copyright © 2015. All rights reserved.