| 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.impl |
This package provides some implementations of basic functions needed for
various call graph construction algorithms.
|
| 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.
|
| com.ibm.wala.util.ssa |
A set of classes facilitating the construction of synthetic methods.
|
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.BranchVisitor.visitReturn(SSAReturnInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAReturnInstruction |
JavaLanguage.JavaInstructionFactory.ReturnInstruction(int iindex) |
SSAReturnInstruction |
JavaLanguage.JavaInstructionFactory.ReturnInstruction(int iindex,
int result,
boolean isPrimitive) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitReturn(SSAReturnInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitReturn(SSAReturnInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAReturnInstruction |
AbstractRootMethod.addReturn(int vn,
boolean isPrimitive)
Add a return statement
|
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitReturn(SSAReturnInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitReturn(SSAReturnInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAReturnInstruction |
SSAInstructionFactory.ReturnInstruction(int iindex) |
SSAReturnInstruction |
SSAInstructionFactory.ReturnInstruction(int iindex,
int result,
boolean isPrimitive) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitReturn(SSAReturnInstruction instruction) |
void |
SSAInstruction.Visitor.visitReturn(SSAReturnInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAReturnInstruction |
TypeSafeInstructionFactory.ReturnInstruction(int iindex)
Return from a void-function.
|
SSAReturnInstruction |
TypeSafeInstructionFactory.ReturnInstruction(int iindex,
SSAValue result)
Check if the type of the SSAValue is assignable to the return-value of the method it's valid in.
|
Copyright © 2015. All rights reserved.