| 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.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.
|
| Class and Description |
|---|
| RTAContextInterpreter
This object will analyze a method in a context and return information needed for RTA.
|
| Class and Description |
|---|
| RTAContextInterpreter
This object will analyze a method in a context and return information needed for RTA.
|
| Class and Description |
|---|
| RTAContextInterpreter
This object will analyze a method in a context and return information needed for RTA.
|
| Class and Description |
|---|
| RTAContextInterpreter
This object will analyze a method in a context and return information needed for RTA.
|
| Class and Description |
|---|
| ContextInsensitiveRTAInterpreter
Default implementation of MethodContextInterpreter for context-insensitive analysis
|
| DefaultRTAInterpreter
Basic analysis; context-insensitive
|
| DelegatingRTAContextInterpreter
A context interpreter that first checks with A, then defaults to B.
|
| RTAContextInterpreter
This object will analyze a method in a context and return information needed for RTA.
|
| Class and Description |
|---|
| AbstractRTABuilder
Abstract superclass of various RTA flavors
|
| RTAContextInterpreter
This object will analyze a method in a context and return information needed for RTA.
|
| RTASelectorKey
This RTA implementation tracks a single set of Classes for each Selector
|
| TypeBasedPointerAnalysis
A trivial field-based pointer analysis solution, which only uses the information of which types (classes) are live.
|
Copyright © 2015. All rights reserved.