| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.client |
This package provides interfaces for some base utilities for use by WALA clients.
|
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| 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.callgraph.propagation |
This package provides the base layer for propagation-based call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.callgraph.propagation.cfa |
This package provides RTA call graph
construction.
|
| com.ibm.wala.ipa.callgraph.propagation.rta |
This package provides CFA-style call graph
construction and pointer analysis.
|
| com.ibm.wala.util.ref |
| Modifier and Type | Field and Description |
|---|---|
protected AnalysisCache |
AbstractReflectionInterpreter.cache
cache of analysis information
|
| Modifier and Type | Method and Description |
|---|---|
static SSAContextInterpreter |
ReflectionContextInterpreter.createReflectionContextInterpreter(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
| Constructor and Description |
|---|
FactoryBypassInterpreter(AnalysisOptions options,
AnalysisCache cache) |
| Modifier and Type | Method and Description |
|---|---|
AnalysisCache |
AbstractAnalysisEngine.getCache() |
AnalysisCache |
AbstractAnalysisEngine.makeDefaultCache() |
| Modifier and Type | Method and Description |
|---|---|
protected abstract CallGraphBuilder |
AbstractAnalysisEngine.getCallGraphBuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
| Modifier and Type | Method and Description |
|---|---|
static ICFGSupergraph |
ICFGSupergraph.make(CallGraph cg,
AnalysisCache cache) |
| Constructor and Description |
|---|
ICFGSupergraph(ExplodedInterproceduralCFG icfg,
AnalysisCache cache) |
| Modifier and Type | Method and Description |
|---|---|
AnalysisCache |
CallGraphBuilder.getAnalysisCache() |
| Modifier and Type | Field and Description |
|---|---|
protected AnalysisCache |
AbstractRootMethod.cache |
| Modifier and Type | Method and Description |
|---|---|
AnalysisCache |
ExplicitCallGraph.getAnalysisCache() |
| Constructor and Description |
|---|
AbstractRootMethod(MethodReference method,
IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
AbstractRootMethod(MethodReference method,
IClass declaringClass,
IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
ExplicitCallGraph(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
FakeRootMethod(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
FakeWorldClinitMethod(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
| Modifier and Type | Method and Description |
|---|---|
protected AnalysisCache |
SSAPropagationCallGraphBuilder.ConstraintVisitor.getAnalysisCache() |
AnalysisCache |
PropagationCallGraphBuilder.getAnalysisCache() |
| Constructor and Description |
|---|
PropagationCallGraphBuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
PointerKeyFactory pointerKeyFactory) |
SSAPropagationCallGraphBuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
PointerKeyFactory pointerKeyFactory) |
| Modifier and Type | Method and Description |
|---|---|
static SSAPropagationCallGraphBuilder |
ZeroXCFABuilder.make(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
ClassLoader cl,
AnalysisScope scope,
String[] xmlFiles,
byte instancePolicy) |
static ZeroXCFABuilder |
ZeroXCFABuilder.make(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter,
int instancePolicy) |
| Constructor and Description |
|---|
ContextInsensitiveSSAInterpreter(AnalysisOptions options,
AnalysisCache cache) |
DefaultSSAInterpreter(AnalysisOptions options,
AnalysisCache cache) |
nCFABuilder(int n,
IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter) |
ZeroXCFABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter,
int instancePolicy) |
ZeroXContainerCFABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter,
int instancePolicy) |
| Modifier and Type | Method and Description |
|---|---|
AnalysisCache |
ContextInsensitiveRTAInterpreter.getAnalysisCache() |
| Constructor and Description |
|---|
AbstractRTABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter) |
BasicRTABuilder(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache,
ContextSelector contextSelector,
SSAContextInterpreter contextInterpreter) |
ContextInsensitiveRTAInterpreter(AnalysisCache cache) |
DefaultRTAInterpreter(AnalysisOptions options,
AnalysisCache cache) |
DelegatingExplicitCallGraph(IClassHierarchy cha,
AnalysisOptions options,
AnalysisCache cache) |
| Modifier and Type | Method and Description |
|---|---|
static void |
ReferenceCleanser.registerCache(AnalysisCache cache) |
Copyright © 2015. All rights reserved.