| 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.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.
|
| Modifier and Type | Class and Description |
|---|---|
protected class |
TypeInference.TypeOperatorFactory |
| Modifier and Type | Class and Description |
|---|---|
class |
InducedCFG.BranchVisitor
This visitor identifies basic block boundaries induced by branch instructions.
|
class |
InducedCFG.PEIVisitor |
| Modifier and Type | Class and Description |
|---|---|
static class |
DemandPointerFlowGraph.StatementVisitor
A visitor that generates graph nodes and edges for an IR.
|
protected class |
SimpleDemandPointerFlowGraph.StatementVisitor
A visitor that generates graph nodes and edges for an IR.
|
| Modifier and Type | Class and Description |
|---|---|
static class |
PointerAnalysisImpl.ImplicitPointsToSetVisitor |
protected static class |
SSAPropagationCallGraphBuilder.ConstraintVisitor
A visitor that generates constraints based on statements in SSA form.
|
protected static class |
SSAPropagationCallGraphBuilder.InterestingVisitor
sets bingo to true when it visits an interesting instruction
|
| Modifier and Type | Class and Description |
|---|---|
protected static class |
ModRef.ModVisitor<H extends ExtendedHeapModel> |
protected static class |
ModRef.RefVisitor<H extends ExtendedHeapModel> |
| Modifier and Type | Method and Description |
|---|---|
void |
IR.visitAllInstructions(SSAInstruction.Visitor v)
visit each instruction in this IR
|
void |
IR.visitNormalInstructions(SSAInstruction.Visitor v)
visit each normal (non-phi, non-pi, non-catch) instruction in this IR
|
Copyright © 2015. All rights reserved.