wala 1.6.13-SNAPSHOT API
Packages
Package
Description
This package contains a generic implementation of directed hypergraphs.
This package contains an exception analysis.
This package defines utilities to help navigate pointer analysis results.
This package provides functions to deal with reflection.
This package provides a layer to perform abstract interpretation over the JVM stack machine.
This package provides intraprocedural type inference over the SSA form.
This package provides control-flow graph utilities.
This package supports a control-dependence graph.
This package provides functionality related to class loading and management of loaded classes.
This package provides interfaces for some base utilities for use by WALA clients.
This package provides miscellaneous utilities.
This package provides miscellaneous utilities for manipulating bytecode.
This package provides miscellaneous utilities for configuration of the analysis.
A set of classes facilitating the construction of synthetic methods.
This package provides miscellaneous utilities for tracking analysis warnings.
Inserts synthetic code that resembles Androids lifecycle.
Controls how variable-instances are handled in the AndroidModel.
Controls the overall structure of the later model.
Contains functions inserted into the AndroidModel.
Fetch and handle information on Android-Intents.
Classes of general use with the AndroidModel.
Hardcoded specifications of the EntryPoints of Android-components.
This package provides a Killdall-style dataflow layer for a system of equations induced over a
graph.
This package provides an RHS solver for IFDS problems.
This package provides general utilities for fixed-point solvers.
This package provides basic interfaces and functions for call graph construction.
This package provides some implementations of basic functions needed for various call graph
construction algorithms.
This package provides the base layer for propagation-based call graph construction and pointer
analysis.
This package provides RTA call graph construction.
This package provides CFA-style call graph construction and pointer analysis.
This package supports interprocedural control-flow graphs, and control-flow graphs specialized
for context.
If we want to filter edges of a control flow graph we already have
EdgeFilter, but if we want to remove exceptions in particular we may want
to combine different analysis.All available filters should be contained in this package.
This package provides functionality related to class hierarchies.
This package provides class hierarchy analysis.
This package provides the WALA SSA IR.
This package provides analyses over the WALA SSA IR.
This package provides abstractions for the Java type system.
Sets and collections
Debugging utilities
Graph interfaces
Graph implementations
Graph traversal algorithms
This package provides a utility which analyzes heap usage by heap-walking via reflection.
BitVector and vector utilities
Math utilities