| Package | Description |
|---|---|
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| Modifier and Type | Method and Description |
|---|---|
Map<Integer,ConstantValue> |
VolatileMethodSummary.getConstants()
Retrieves a mapping from SSA-Number to a constant.
|
Map<Integer,ConstantValue> |
MethodSummary.getConstants() |
| Modifier and Type | Method and Description |
|---|---|
void |
VolatileMethodSummary.addConstant(Integer vn,
ConstantValue value)
Assigns a new Constant to a SSA-Value.
|
void |
MethodSummary.addConstant(Integer vn,
ConstantValue value) |
| Constructor and Description |
|---|
SummarizedMethodWithNames.SyntheticIRWithNames(IMethod method,
Context context,
AbstractCFG cfg,
SSAInstruction[] instructions,
SSAOptions options,
Map<Integer,ConstantValue> constants,
Map<Integer,Atom> localNames) |
SyntheticIR(IMethod method,
Context context,
AbstractCFG cfg,
SSAInstruction[] instructions,
SSAOptions options,
Map<Integer,ConstantValue> constants)
Create an SSA form, induced over a list of instructions provided externally.
|
| Modifier and Type | Method and Description |
|---|---|
void |
SymbolTable.setConstantValue(int vn,
ConstantValue val) |
Copyright © 2015. All rights reserved.