| 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.demandpa.flowgraph | |
| 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.modref | |
| 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.visitArrayLoad(SSAArrayLoadInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.PEIVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAArrayLoadInstruction |
JavaLanguage.JavaInstructionFactory.ArrayLoadInstruction(int iindex,
int result,
int arrayref,
int index,
TypeReference declaredType) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
void |
PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
ModRef.RefVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAArrayLoadInstruction |
SSAInstructionFactory.ArrayLoadInstruction(int iindex,
int result,
int arrayref,
int index,
TypeReference declaredType) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
void |
SSAInstruction.Visitor.visitArrayLoad(SSAArrayLoadInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAArrayLoadInstruction |
TypeSafeInstructionFactory.ArrayLoadInstruction(int iindex,
SSAValue result,
SSAValue array,
int index)
result = array[index].
|
Copyright © 2015. All rights reserved.