| 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.ipa.modref | |
| 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.visitNew(SSANewInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.PEIVisitor.visitNew(SSANewInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSANewInstruction |
JavaLanguage.JavaInstructionFactory.NewInstruction(int iindex,
int result,
NewSiteReference site) |
SSANewInstruction |
JavaLanguage.JavaInstructionFactory.NewInstruction(int iindex,
int result,
NewSiteReference site,
int[] params) |
| Modifier and Type | Method and Description |
|---|---|
static DemandPointerFlowGraph.NewMultiDimInfo |
DemandPointerFlowGraph.getInfoForNewMultiDim(SSANewInstruction instruction,
HeapModel heapModel,
CGNode node)
collect information about the new instructions and putfield instructions used to model an allocation of a multi-dimensional
array.
|
void |
SimpleDemandPointerFlowGraph.StatementVisitor.visitNew(SSANewInstruction instruction) |
void |
DemandPointerFlowGraph.StatementVisitor.visitNew(SSANewInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSANewInstruction |
AbstractRootMethod.add1DArrayAllocation(TypeReference T,
int length)
Add a New statement of the given array type and length
|
SSANewInstruction |
AbstractRootMethod.addAllocation(TypeReference T)
Add a New statement of the given type
Side effect: adds call to default constructor of given type if one exists.
|
SSANewInstruction |
AbstractRootMethod.addAllocationWithoutCtor(TypeReference T)
Add a New statement of the given type
|
| Modifier and Type | Method and Description |
|---|---|
void |
SSAPropagationCallGraphBuilder.ConstraintVisitor.visitNew(SSANewInstruction instruction) |
void |
PointerAnalysisImpl.ImplicitPointsToSetVisitor.visitNew(SSANewInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
ModRef.ModVisitor.visitNew(SSANewInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSANewInstruction |
IR.getNew(NewSiteReference site)
Return the new instruction corresponding to an allocation site
|
SSANewInstruction |
SSAInstructionFactory.NewInstruction(int iindex,
int result,
NewSiteReference site) |
SSANewInstruction |
SSAInstructionFactory.NewInstruction(int iindex,
int result,
NewSiteReference site,
int[] params) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitNew(SSANewInstruction instruction) |
void |
SSAInstruction.Visitor.visitNew(SSANewInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSANewInstruction |
TypeSafeInstructionFactory.NewInstruction(int iindex,
SSAValue result,
NewSiteReference site) |
SSANewInstruction |
TypeSafeInstructionFactory.NewInstruction(int iindex,
SSAValue result,
NewSiteReference site,
Collection<? extends SSAValue> params) |
Copyright © 2015. All rights reserved.