| 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.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 |
TypeInference.TypeOperatorFactory.visitInvoke(SSAInvokeInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.PEIVisitor.visitInvoke(SSAInvokeInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAInvokeInstruction |
JavaLanguage.JavaInstructionFactory.InvokeInstruction(int iindex,
int[] params,
int exception,
CallSiteReference site,
com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap) |
SSAInvokeInstruction |
JavaLanguage.JavaInstructionFactory.InvokeInstruction(int iindex,
int result,
int[] params,
int exception,
CallSiteReference site,
com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap) |
| Modifier and Type | Method and Description |
|---|---|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitInvoke(SSAInvokeInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitInvoke(SSAInvokeInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAInvokeInstruction |
AbstractRootMethod.addInvocation(int[] params,
CallSiteReference site) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitInvoke(SSAInvokeInstruction instruction) |
void |
SSAPropagationCallGraphBuilder.InterestingVisitor.visitInvoke(SSAInvokeInstruction instruction) |
void |
PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitInvoke(SSAInvokeInstruction instruction) |
| Modifier and Type | Class and Description |
|---|---|
class |
SSAInvokeDynamicInstruction |
| Modifier and Type | Method and Description |
|---|---|
SSAInvokeInstruction |
SSAInstructionFactory.InvokeInstruction(int iindex,
int[] params,
int exception,
CallSiteReference site,
com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap) |
SSAInvokeInstruction |
SSAInstructionFactory.InvokeInstruction(int iindex,
int result,
int[] params,
int exception,
CallSiteReference site,
com.ibm.wala.shrikeCT.BootstrapMethodsReader.BootstrapMethod bootstrap) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitInvoke(SSAInvokeInstruction instruction) |
void |
SSAInstruction.Visitor.visitInvoke(SSAInvokeInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAInvokeInstruction |
TypeSafeInstructionFactory.InvokeInstruction(int iindex,
List<? extends SSAValue> params,
SSAValue exception,
CallSiteReference site)
Instruction that calls a void-method.
|
SSAInvokeInstruction |
TypeSafeInstructionFactory.InvokeInstruction(int iindex,
SSAValue result,
List<? extends SSAValue> params,
SSAValue exception,
CallSiteReference site)
result = site(params).
|
Copyright © 2015. All rights reserved.