| Package | Description |
|---|---|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| 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.slicer | |
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.ssa.analysis |
This package provides analyses over the WALA SSA IR.
|
| Modifier and Type | Method and Description |
|---|---|
void |
TypeInference.TypeOperatorFactory.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGetCaughtExceptionInstruction |
JavaLanguage.JavaInstructionFactory.GetCaughtExceptionInstruction(int iindex,
int bbNumber,
int exceptionValueNumber) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
static Set<IClass> |
SSAPropagationCallGraphBuilder.getCaughtExceptionTypes(SSAGetCaughtExceptionInstruction instruction,
IR ir) |
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
void |
PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGetCaughtExceptionInstruction |
GetCaughtExceptionStatement.getInstruction() |
| Constructor and Description |
|---|
GetCaughtExceptionStatement(CGNode node,
SSAGetCaughtExceptionInstruction st) |
| Modifier and Type | Method and Description |
|---|---|
SSAGetCaughtExceptionInstruction |
SSACFG.ExceptionHandlerBasicBlock.getCatchInstruction() |
SSAGetCaughtExceptionInstruction |
SSAInstructionFactory.GetCaughtExceptionInstruction(int iindex,
int bbNumber,
int exceptionValueNumber) |
| Modifier and Type | Method and Description |
|---|---|
ISSABasicBlock |
IR.getBasicBlockForCatch(SSAGetCaughtExceptionInstruction instruction)
Return the
ISSABasicBlock corresponding to a particular catch instruction |
void |
SSACFG.ExceptionHandlerBasicBlock.setCatchInstruction(SSAGetCaughtExceptionInstruction catchInstruction) |
void |
SSAInstruction.IVisitor.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
void |
SSAInstruction.Visitor.visitGetCaughtException(SSAGetCaughtExceptionInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGetCaughtExceptionInstruction |
IExplodedBasicBlock.getCatchInstruction()
if this represents an exception handler block, return the corresponding
SSAGetCaughtExceptionInstruction |
Copyright © 2015. All rights reserved.