| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.ipa.callgraph |
This package provides basic interfaces and functions for call graph
construction.
|
| 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.summaries |
This package provides class hierarchy analysis.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| Modifier and Type | Method and Description |
|---|---|
IR |
FactoryBypassInterpreter.SpecializedFactoryMethod.makeIR(Context C,
SSAOptions options) |
| Modifier and Type | Method and Description |
|---|---|
SSAInstruction[] |
SyntheticMethod.getStatements(SSAOptions options)
Deprecated.
|
IR |
SyntheticMethod.makeIR(Context context,
SSAOptions options)
Most subclasses should override this.
|
IR |
ShrikeIRFactory.makeIR(IBytecodeMethod method,
Context C,
SSAOptions options) |
| Modifier and Type | Method and Description |
|---|---|
SSAOptions |
AnalysisOptions.getSSAOptions() |
| Modifier and Type | Method and Description |
|---|---|
void |
AnalysisOptions.setSSAOptions(SSAOptions ssaOptions) |
| Modifier and Type | Method and Description |
|---|---|
SSAInstruction[] |
AbstractRootMethod.getStatements(SSAOptions options) |
IR |
AbstractRootMethod.makeIR(Context context,
SSAOptions options) |
| Modifier and Type | Method and Description |
|---|---|
SSAInstruction[] |
SummarizedMethod.getStatements(SSAOptions options) |
IR |
SummarizedMethodWithNames.makeIR(Context context,
SSAOptions options) |
IR |
SummarizedMethod.makeIR(Context context,
SSAOptions options) |
IR |
SyntheticIRFactory.makeIR(SyntheticMethod method,
Context C,
SSAOptions options) |
| 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 |
|---|---|
static SSAOptions |
SSAOptions.defaultOptions() |
SSAOptions |
IR.getOptions() |
| Modifier and Type | Method and Description |
|---|---|
DefUse |
SSACache.findOrCreateDU(IMethod m,
Context c,
SSAOptions options) |
IR |
SSACache.findOrCreateIR(IMethod m,
Context c,
SSAOptions options) |
IR |
DefaultIRFactory.makeIR(IMethod method,
Context c,
SSAOptions options) |
IR |
IRFactory.makeIR(T method,
Context c,
SSAOptions options)
Build an SSA
IR for a method in a particular context |
| Constructor and Description |
|---|
IR(IMethod method,
SSAInstruction[] instructions,
SymbolTable symbolTable,
SSACFG cfg,
SSAOptions options)
Simple constructor when someone else has already computed the symbol table and cfg.
|
Copyright © 2015. All rights reserved.