| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| 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.
|
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
JavaTypeContext.get(ContextKey name) |
ContextItem |
IllegalArgumentExceptionContext.get(ContextKey name) |
ContextItem |
GetMethodContext.get(ContextKey name) |
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
MethodHandles.MethodContext.get(ContextKey name) |
| Modifier and Type | Class and Description |
|---|---|
static class |
ContextKey.ParameterKey
context key representing some parameter index, useful, e.g.
|
| Modifier and Type | Field and Description |
|---|---|
static ContextKey |
ContextKey.CALLER
A property of contexts that might be generally useful: the "caller" method ...
|
static ContextKey |
ContextKey.CALLSITE
A property of contexts that might be generally useful: the "call site" method ...
|
static ContextKey[] |
ContextKey.PARAMETERS
Generally useful constants for possible parameter indices
|
static ContextKey |
ContextKey.RECEIVER
A property of contexts that might be generally useful: an identifier for the receiver object ...
|
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
DelegatingContext.get(ContextKey name) |
ContextItem |
Context.get(ContextKey name) |
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
Everywhere.get(ContextKey name)
This context gives no information.
|
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
SelectiveCPAContext.get(ContextKey name) |
ContextItem |
ReceiverInstanceContext.get(ContextKey name) |
| Constructor and Description |
|---|
SelectiveCPAContext(Context base,
Map<ContextKey,InstanceKey> parameterObjs) |
| Modifier and Type | Field and Description |
|---|---|
static ContextKey |
CallStringContextSelector.CALL_STRING |
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
CallStringContextSelector.CallStringContextPair.get(ContextKey name) |
ContextItem |
CallStringContext.get(ContextKey name) |
ContextItem |
CallerSiteContextPair.get(ContextKey name) |
ContextItem |
CallerSiteContext.get(ContextKey name) |
ContextItem |
CallerContextPair.get(ContextKey name) |
ContextItem |
CallerContext.get(ContextKey name) |
Copyright © 2015. All rights reserved.