| 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.visitGet(SSAGetInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.PEIVisitor.visitGet(SSAGetInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGetInstruction |
JavaLanguage.JavaInstructionFactory.GetInstruction(int iindex,
int result,
FieldReference field) |
SSAGetInstruction |
JavaLanguage.JavaInstructionFactory.GetInstruction(int iindex,
int result,
int ref,
FieldReference field) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitGet(SSAGetInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitGet(SSAGetInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitGet(SSAGetInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitGet(SSAGetInstruction instruction) |
void |
PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitGet(SSAGetInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
ModRef.RefVisitor.visitGet(SSAGetInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGetInstruction |
SSAInstructionFactory.GetInstruction(int iindex,
int result,
FieldReference field) |
SSAGetInstruction |
SSAInstructionFactory.GetInstruction(int iindex,
int result,
int ref,
FieldReference field) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitGet(SSAGetInstruction instruction) |
void |
SSAInstruction.Visitor.visitGet(SSAGetInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGetInstruction |
TypeSafeInstructionFactory.GetInstruction(int iindex,
SSAValue targetValue,
FieldReference field)
Reads static field into targetValue.
|
SSAGetInstruction |
TypeSafeInstructionFactory.GetInstruction(int iindex,
SSAValue targetValue,
SSAValue containingInstance,
FieldReference field)
targetValue = containingInstance.field.
|
Copyright © 2015. All rights reserved.