| Package | Description |
|---|---|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| 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.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.ipa.summaries |
This package provides class hierarchy analysis.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
InstanceKeyWithNode
An instance key which has an associated
CGNode. |
| Modifier and Type | Class and Description |
|---|---|
protected class |
AbstractReflectionInterpreter.SpecializedMethod |
protected class |
FactoryBypassInterpreter.SpecializedFactoryMethod |
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
JavaTypeContext.get(ContextKey name) |
ContextItem |
IllegalArgumentExceptionContext.get(ContextKey name) |
ContextItem |
GetMethodContext.get(ContextKey name) |
| Modifier and Type | Class and Description |
|---|---|
static class |
MethodHandles.MethodItem |
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
MethodHandles.MethodContext.get(ContextKey name) |
| Modifier and Type | Class and Description |
|---|---|
class |
ConeType
Represents a type and its subtypes.
|
class |
JavaPrimitiveType
Abstraction of a primitive type in Java.
|
class |
PointType
Represents a single concrete type.
|
class |
PrimitiveType
Abstraction of a primitive type.
|
class |
SetType
Abstraction of a set of
PointType. |
class |
TypeAbstraction
Abstraction of a Java type.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
IBytecodeMethod
A method which originated in bytecode, decoded by Shrike
|
interface |
IMethod
Basic interface for an object that represents a single Java method for analysis purposes.
|
| Modifier and Type | Class and Description |
|---|---|
class |
CallSiteReference
Simple object that represents a static call site (ie., an invoke instruction in the bytecode)
Note that the identity of a call site reference depends on two things: the program counter, and the containing IR.
|
class |
ShrikeBTMethod
A wrapper around a Shrike object that represents a method
|
class |
ShrikeCTMethod
A wrapper around a Shrike object that represents a method
|
class |
SyntheticMethod
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
CGNode
Basic interface for a node in a call graph.
|
| Modifier and Type | Class and Description |
|---|---|
static class |
ContextItem.Value<T> |
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
DelegatingContext.get(ContextKey name) |
ContextItem |
Context.get(ContextKey name) |
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractRootMethod
A synthetic method from the
FakeRootClass |
class |
BasicCallGraph.NodeImpl
A class that represents the a normal node in a call graph.
|
class |
ExplicitCallGraph.ExplicitNode |
class |
FakeRootMethod
A synthetic method that models the fake root node.
|
class |
FakeWorldClinitMethod
A synthetic method that calls all class initializers
|
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
Everywhere.get(ContextKey name)
This context gives no information.
|
| Modifier and Type | Interface and Description |
|---|---|
static interface |
FilteredPointerKey.TypeFilter |
interface |
InstanceKey
An InstanceKey serves as the representative for an equivalence class of
objects in the heap, that can be pointed to.
|
| Modifier and Type | Class and Description |
|---|---|
class |
AbstractTypeInNode
|
class |
AllocationSite
|
class |
AllocationSiteInNode
|
class |
ConcreteTypeKey
An instance key which represents a unique set for each concrete type.
|
class |
ConstantKey<T>
An instance key which represents a unique, constant object.
|
static class |
FilteredPointerKey.MultipleClassesFilter |
static class |
FilteredPointerKey.SingleClassFilter |
static class |
FilteredPointerKey.SingleInstanceFilter |
static class |
FilteredPointerKey.TargetMethodFilter |
class |
MultiNewArrayInNode
An
InstanceKey which represents a multinewarray allocation site in a CGNode. |
class |
NormalAllocationInNode
|
class |
SmushedAllocationSiteInNode
An
InstanceKey which represents the set of all allocation sites
of a given type in a CGNode. |
class |
StringConstantCharArray
An
InstanceKey which represents the constant char[] contents
of a string constant object. |
class |
ZeroLengthArrayInNode
Represents an array with length zero.
|
| Modifier and Type | Method and Description |
|---|---|
ContextItem |
SelectiveCPAContext.get(ContextKey name) |
ContextItem |
ReceiverInstanceContext.get(ContextKey name) |
| Modifier and Type | Class and Description |
|---|---|
class |
CallString |
| 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) |
| Modifier and Type | Class and Description |
|---|---|
class |
DelegatingExplicitCallGraph.DelegatingCGNode
In this implementation, super.targets is a mapping from call site ->
Object, where Object is a
A Mapping from call site -> Object, where Object is a
CGNode if we've discovered exactly one target for the site
or an IntSet of node numbers if we've discovered more than one target
for the site.
|
| Modifier and Type | Class and Description |
|---|---|
class |
SummarizedMethod
A
SyntheticMethod representing the semantics encoded in a MethodSummary |
class |
SummarizedMethodWithNames
A SummarizedMethod (for synthetic functions) with variable names.
|
Copyright © 2015. All rights reserved.