| 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.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.
|
| Modifier and Type | Method and Description |
|---|---|
void |
TypeInference.TypeOperatorFactory.visitPi(SSAPiInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
Collection<SSAPiInstruction> |
InducedCFG.BasicBlock.getPis() |
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.BasicBlock.addPi(SSAPiInstruction piInstruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAPiInstruction |
JavaLanguage.JavaInstructionFactory.PiInstruction(int iindex,
int result,
int val,
int piBlock,
int successorBlock,
SSAInstruction cause) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitPi(SSAPiInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitPi(SSAPiInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitPi(SSAPiInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitPi(SSAPiInstruction instruction) |
void |
PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitPi(SSAPiInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
Iterator<SSAPiInstruction> |
BasicBlockInContext.iteratePis() |
| Modifier and Type | Method and Description |
|---|---|
SSAPiInstruction |
PiStatement.getPi() |
| Constructor and Description |
|---|
PiStatement(CGNode node,
SSAPiInstruction pi) |
| Modifier and Type | Method and Description |
|---|---|
SSAPiInstruction |
SSACFG.BasicBlock.getPiForRefAndPath(int n,
Object path) |
SSAPiInstruction |
SSAInstructionFactory.PiInstruction(int iindex,
int result,
int val,
int piBlock,
int successorBlock,
SSAInstruction cause) |
| Modifier and Type | Method and Description |
|---|---|
Iterator<SSAPiInstruction> |
SSACFG.BasicBlock.iteratePis() |
Iterator<SSAPiInstruction> |
ISSABasicBlock.iteratePis() |
| Modifier and Type | Method and Description |
|---|---|
void |
SSACFG.BasicBlock.addPiForRefAndPath(int n,
Object path,
SSAPiInstruction pi) |
void |
SSAInstruction.IVisitor.visitPi(SSAPiInstruction instruction) |
void |
SSAInstruction.Visitor.visitPi(SSAPiInstruction instruction) |
Copyright © 2015. All rights reserved.