| 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.demandpa.util | |
| 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.rta |
This package provides CFA-style call graph
construction and pointer analysis.
|
| com.ibm.wala.ipa.slicer | |
| com.ibm.wala.ipa.slicer.thin | |
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| Modifier and Type | Class and Description |
|---|---|
protected class |
AbstractReflectionInterpreter.SpecializedMethod |
protected class |
FactoryBypassInterpreter.SpecializedFactoryMethod |
| Modifier and Type | Interface and Description |
|---|---|
interface |
IBytecodeMethod
A method which originated in bytecode, decoded by Shrike
|
interface |
IClass
Basic interface for an object that represents a single Java class for analysis purposes, including array classes.
|
interface |
IField |
interface |
IMember
Basic interface for an object that represents a single
Java member (method or field) for analysis purposes.
|
interface |
IMethod
Basic interface for an object that represents a single Java method for analysis purposes.
|
| Modifier and Type | Class and Description |
|---|---|
class |
ArrayClass
Implementation of
IClass for array classes. |
class |
BytecodeClass<T extends IClassLoader>
A class representing which originates in some form of bytecode.
|
class |
FieldImpl
Implementation of a canonical field reference.
|
class |
JVMClass<T extends IClassLoader>
Note that classes from JVML have some features that are not present in all "bytecode" languages currently supported.
|
class |
ShrikeBTMethod
A wrapper around a Shrike object that represents a method
|
class |
ShrikeClass
A class read from Shrike
|
class |
ShrikeCTMethod
A wrapper around a Shrike object that represents a method
|
class |
SyntheticClass
An
IClass that exists nowhere in bytecode. |
class |
SyntheticMethod
|
| Modifier and Type | Class and Description |
|---|---|
class |
ArrayContents
Pseudo-field modelling the contents of an array of reference type.
|
| Modifier and Type | Interface and Description |
|---|---|
interface |
CGNode
Basic interface for a node in a call graph.
|
| 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 |
FakeRootClass
A synthetic class for the fake root method.
|
class |
FakeRootMethod
A synthetic method that models the fake root node.
|
class |
FakeWorldClinitMethod
A synthetic method that calls all class initializers
|
| 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 | Interface and Description |
|---|---|
interface |
ISDG
Interface for an SDG (loosely defined here as a graph of
Statements. |
| Modifier and Type | Class and Description |
|---|---|
class |
SDG
System dependence graph.
|
| Modifier and Type | Class and Description |
|---|---|
class |
CISDG
A context-insensitive SDG.
|
| Modifier and Type | Class and Description |
|---|---|
class |
BypassSyntheticClass
A synthetic implementation of a class
|
class |
LambdaSummaryClass |
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.