| Package | Description |
|---|---|
| com.ibm.wala.analysis.arraybounds | |
| com.ibm.wala.analysis.arraybounds.hypergraph |
This package contains a generic implementation of directed hypergraphs.
|
| com.ibm.wala.analysis.arraybounds.hypergraph.algorithms | |
| com.ibm.wala.analysis.arraybounds.hypergraph.weight | |
| com.ibm.wala.analysis.arraybounds.hypergraph.weight.edgeweights | |
| com.ibm.wala.analysis.exceptionanalysis |
This package contains an exception analysis.
|
| com.ibm.wala.analysis.nullpointer | |
| com.ibm.wala.analysis.pointers |
This package defines utilities to help navigate pointer analysis results.
|
| com.ibm.wala.analysis.reflection |
This package provides functions to deal with reflection.
|
| com.ibm.wala.analysis.reflection.java7 | |
| com.ibm.wala.analysis.stackMachine |
This package provides a layer to perform abstract interpretation over
the JVM stack machine.
|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| com.ibm.wala.cfg |
This package provides control-flow graph utilities.
|
| com.ibm.wala.cfg.cdg |
This package supports a control-dependence graph.
|
| 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.client |
This package provides interfaces for some base utilities for use by WALA clients.
|
| com.ibm.wala.core.tests.callGraph | |
| com.ibm.wala.core.tests.util | |
| com.ibm.wala.dataflow.IFDS |
This package provides an RHS solver for IFDS problems.
|
| com.ibm.wala.dataflow.ssa | |
| com.ibm.wala.demandpa.alg | |
| com.ibm.wala.demandpa.alg.refinepolicy | |
| com.ibm.wala.demandpa.alg.statemachine | |
| com.ibm.wala.demandpa.flowgraph | |
| com.ibm.wala.demandpa.util | |
| com.ibm.wala.escape | |
| com.ibm.wala.examples.analysis.dataflow | |
| com.ibm.wala.examples.drivers | |
| com.ibm.wala.examples.properties | |
| com.ibm.wala.ipa.callgraph |
This package provides basic interfaces and functions for call graph
construction.
|
| com.ibm.wala.ipa.callgraph.cha | |
| 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.callgraph.util | |
| com.ibm.wala.ipa.cfg |
This package supports interprocedural control-flow graphs, and control-flow
graphs specialized for context.
|
| com.ibm.wala.ipa.cfg.exceptionpruning |
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. |
| com.ibm.wala.ipa.cfg.exceptionpruning.filter |
All available filters should be contained in this package.
|
| com.ibm.wala.ipa.cfg.exceptionpruning.interprocedural | |
| 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.slicer.thin | |
| com.ibm.wala.ipa.summaries |
This package provides class hierarchy analysis.
|
| com.ibm.wala.model | |
| com.ibm.wala.model.java.lang | |
| com.ibm.wala.model.java.lang.reflect | |
| com.ibm.wala.properties | |
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.ssa.analysis |
This package provides analyses over 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.bytecode |
This package provides miscellaneous utilities for manipulating bytecode.
|
| com.ibm.wala.util.config |
This package provides miscellaneous utilities for configuration of the analysis.
|
| com.ibm.wala.util.io | |
| com.ibm.wala.util.ref | |
| com.ibm.wala.util.scope | |
| 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 | |
| com.ibm.wala.util.warnings |
This package provides miscellaneous utilities for tracking analysis warnings.
|
| com.ibm.wala.viz | |
| com.ibm.wala.viz.viewer |