| 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 | Interface and Description |
|---|---|
protected static interface |
AbstractDemandFlowGraph.FlowStatementVisitor |
| 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 | Interface and Description |
|---|---|
interface |
IVisitorWithAddresses |
| Modifier and Type | Class and Description |
|---|---|
static class |
SSAInstruction.Visitor
A base visitor implementation that does nothing.
|
| Modifier and Type | Method and Description |
|---|---|
void |
SSAUnaryOpInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAThrowInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSASwitchInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAStoreIndirectInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAReturnInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAPutInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAPiInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAPhiInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSANewInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAMonitorInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSALoadMetadataInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSALoadIndirectInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAInvokeInstruction.visit(SSAInstruction.IVisitor v) |
abstract void |
SSAInstruction.visit(SSAInstruction.IVisitor v)
Apply an IVisitor to this instruction.
|
void |
SSAInstanceofInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAGotoInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAGetInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAGetCaughtExceptionInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAConversionInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAConditionalBranchInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAComparisonInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSACheckCastInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSABinaryOpInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAArrayStoreInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAArrayLoadInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAArrayLengthInstruction.visit(SSAInstruction.IVisitor v) |
void |
SSAAddressOfInstruction.visit(SSAInstruction.IVisitor v) |
Copyright © 2015. All rights reserved.