| Package | Description |
|---|---|
| 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.ssa |
This package provides the WALA SSA IR.
|
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.BranchVisitor.visitThrow(SSAThrowInstruction instruction) |
void |
InducedCFG.PEIVisitor.visitThrow(SSAThrowInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAThrowInstruction |
JavaLanguage.JavaInstructionFactory.ThrowInstruction(int iindex,
int exception) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitThrow(SSAThrowInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitThrow(SSAThrowInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitThrow(SSAThrowInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitThrow(SSAThrowInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAThrowInstruction |
SSAInstructionFactory.ThrowInstruction(int iindex,
int exception) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitThrow(SSAThrowInstruction instruction) |
void |
SSAInstruction.Visitor.visitThrow(SSAThrowInstruction instruction) |
Copyright © 2015. All rights reserved.