| 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.cfg.exc | |
| com.ibm.wala.cfg.exc.inter | |
| com.ibm.wala.cfg.exc.intra | |
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.demandpa.util | |
| com.ibm.wala.escape | |
| 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.callgraph.pruned | |
| com.ibm.wala.ipa.cfg |
This package supports interprocedural control-flow graphs, and control-flow
graphs specialized for context.
|
| com.ibm.wala.ipa.cha |
This package provides functionality related to class hierarchies.
|
| com.ibm.wala.ipa.modref | |
| com.ibm.wala.ipa.slicer | |
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.types |
This package provides abstractions for the Java type system.
|
| com.ibm.wala.types.annotations | |
| com.ibm.wala.types.generics | |
| com.ibm.wala.util |
This package provides miscellaneous utilities.
|
| com.ibm.wala.util.config |
This package provides miscellaneous utilities for configuration of the analysis.
|
| com.ibm.wala.util.shrike | |
| com.ibm.wala.util.ssa |
A set of classes facilitating the construction of synthetic methods.
|
| com.ibm.wala.util.strings |
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| Class and Description |
|---|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| Descriptor
A method descriptor; something like: (Ljava/langString;)Ljava/lang/Class;
Descriptors are canonical
|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| Selector
A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class;
TODO: Canonicalize these?
|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| MethodReference
A class to represent the reference in a class file to a method.
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| Descriptor
A method descriptor; something like: (Ljava/langString;)Ljava/lang/Class;
Descriptors are canonical
|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MemberReference
Abstract superclass of
MethodReference and FieldReference |
| MethodReference
A class to represent the reference in a class file to a method.
|
| Selector
A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class;
TODO: Canonicalize these?
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| Selector
A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class;
TODO: Canonicalize these?
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| Selector
A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class;
TODO: Canonicalize these?
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| MethodReference
A class to represent the reference in a class file to a method.
|
| Class and Description |
|---|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| Selector
A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class;
TODO: Canonicalize these?
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| MemberReference
Abstract superclass of
MethodReference and FieldReference |
| MethodReference
A class to represent the reference in a class file to a method.
|
| Selector
A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class;
TODO: Canonicalize these?
|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| Descriptor
A method descriptor; something like: (Ljava/langString;)Ljava/lang/Class;
Descriptors are canonical
|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MemberReference
Abstract superclass of
MethodReference and FieldReference |
| MethodReference
A class to represent the reference in a class file to a method.
|
| Selector
A method selector; something like: foo(Ljava/lang/String;)Ljava/lang/Class;
TODO: Canonicalize these?
|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| Class and Description |
|---|
| ClassLoaderReference
Defines the meta-information that identifies a class loader.
|
| MemberReference
Abstract superclass of
MethodReference and FieldReference |
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| FieldReference
A class to represent the reference in a class file to a field.
|
| MethodReference
A class to represent the reference in a class file to a method.
|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
| TypeReference
A class to represent the reference in a class file to some type (class, primitive or array).
|
| Class and Description |
|---|
| MethodReference
A class to represent the reference in a class file to a method.
|
| TypeName
We've introduced this class to canonicalize Atoms that represent package names.
|
Copyright © 2015. All rights reserved.