| Package | Description |
|---|---|
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| 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.rta |
This package provides CFA-style call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.cha |
This package provides functionality related to class hierarchies.
|
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| com.ibm.wala.types |
This package provides abstractions for the Java type system.
|
| Modifier and Type | Field and Description |
|---|---|
protected Map<Selector,IMethod> |
BytecodeClass.inheritCache
A mapping from Selector to IMethod used to cache method lookups from superclasses
|
protected Map<Selector,IMethod> |
BytecodeClass.methodMap
A mapping from Selector to IMethod
TODO: get rid of this for classes (though keep it for interfaces) instead ...
|
| Modifier and Type | Method and Description |
|---|---|
Selector |
SyntheticMethod.getSelector() |
Selector |
ShrikeBTMethod.getSelector() |
Selector |
IMethod.getSelector()
something like: foo(Ljava/langString;)Ljava/lang/Class;
|
| Modifier and Type | Method and Description |
|---|---|
IMethod |
IClass.getMethod(Selector selector)
Finds method matching signature.
|
IMethod |
BytecodeClass.getMethod(Selector selector) |
IMethod |
ArrayClass.getMethod(Selector sig) |
| Modifier and Type | Method and Description |
|---|---|
IMethod |
FakeRootClass.getMethod(Selector selector) |
| Constructor and Description |
|---|
TargetMethodContextSelector(Selector selector,
IClassHierarchy cha) |
| Modifier and Type | Method and Description |
|---|---|
Selector |
CallSite.getSelector() |
| Modifier and Type | Method and Description |
|---|---|
protected RTASelectorKey |
BasicRTABuilder.getKeyForSelector(Selector selector) |
| Modifier and Type | Method and Description |
|---|---|
IMethod |
IClassHierarchy.resolveMethod(IClass receiverClass,
Selector selector)
Return the unique receiver of an invocation of method on an object of type declaringClass
|
IMethod |
ClassHierarchy.resolveMethod(IClass receiverClass,
Selector selector)
Return the unique target of an invocation of method on an object of type declaringClass
|
| Modifier and Type | Method and Description |
|---|---|
IMethod |
LambdaSummaryClass.getMethod(Selector selector) |
IMethod |
BypassSyntheticClass.getMethod(Selector selector) |
| Modifier and Type | Field and Description |
|---|---|
static Selector |
MethodReference.clinitSelector |
static Selector |
MethodReference.equalsSelector |
static Selector |
MethodReference.finalizeSelector |
static Selector |
MethodReference.initSelector |
static Selector |
MethodReference.runSelector |
| Modifier and Type | Method and Description |
|---|---|
Selector |
MethodReference.getSelector() |
static Selector |
Selector.make(Language l,
String selectorStr) |
static Selector |
Selector.make(String selectorStr) |
| Modifier and Type | Method and Description |
|---|---|
static MethodReference |
MethodReference.findOrCreate(TypeReference tref,
Selector selector)
Find or create the canonical MethodReference instance for the given tuple.
|
Copyright © 2015. All rights reserved.