Packages

cell
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.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.annotations
com.ibm.wala.cast.analysis.typeInference
com.ibm.wala.cast.ipa.callgraph
com.ibm.wala.cast.ir.cfg
com.ibm.wala.cast.ir.ssa
com.ibm.wala.cast.ir.ssa.analysis
com.ibm.wala.cast.ir.translator
com.ibm.wala.cast.java
com.ibm.wala.cast.java.analysis.typeInference
com.ibm.wala.cast.java.client
com.ibm.wala.cast.java.client.impl
com.ibm.wala.cast.java.ipa.callgraph
com.ibm.wala.cast.java.loader
com.ibm.wala.cast.java.ssa
com.ibm.wala.cast.java.test
com.ibm.wala.cast.java.translator
com.ibm.wala.cast.java.translator.polyglot
com.ibm.wala.cast.java.types
com.ibm.wala.cast.js
com.ibm.wala.cast.js.analysis.typeInference
com.ibm.wala.cast.js.cfg
com.ibm.wala.cast.js.client
com.ibm.wala.cast.js.client.impl
com.ibm.wala.cast.js.ipa.callgraph
com.ibm.wala.cast.js.ipa.summaries
com.ibm.wala.cast.js.loader
com.ibm.wala.cast.js.ssa
com.ibm.wala.cast.js.test
com.ibm.wala.cast.js.translator
com.ibm.wala.cast.js.types
com.ibm.wala.cast.js.util
com.ibm.wala.cast.loader
com.ibm.wala.cast.plugin
com.ibm.wala.cast.test
com.ibm.wala.cast.tree
com.ibm.wala.cast.tree.impl
com.ibm.wala.cast.tree.visit
com.ibm.wala.cast.types
com.ibm.wala.cast.util
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.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.client.impl	This package provides implementations for some base utilities for use by WALA clients.
com.ibm.wala.core.plugin	This package provides a plugin class for Eclipse integration.
com.ibm.wala.core.tests.basic
com.ibm.wala.core.tests.callGraph
com.ibm.wala.core.tests.cha
com.ibm.wala.core.tests.ir
com.ibm.wala.core.tests.logic
com.ibm.wala.core.tests.ptrs
com.ibm.wala.core.tests.slicer
com.ibm.wala.core.tests.util
com.ibm.wala.dataflow.graph	This package provides a Killdall-style dataflow layer for a system of equations induced over a graph.
com.ibm.wala.dataflow.IFDS	This package provides an RHS solver for IFDS problems.
com.ibm.wala.dataflow.ssa
com.ibm.wala.dynamic
com.ibm.wala.eclipse.util
com.ibm.wala.ecore.common
com.ibm.wala.ecore.common.impl
com.ibm.wala.ecore.common.util
com.ibm.wala.ecore.graph
com.ibm.wala.ecore.graph.impl
com.ibm.wala.ecore.graph.util
com.ibm.wala.ecore.j2ee.scope
com.ibm.wala.ecore.j2ee.scope.impl
com.ibm.wala.ecore.j2ee.scope.util
com.ibm.wala.ecore.java
com.ibm.wala.ecore.java.callGraph
com.ibm.wala.ecore.java.callGraph.impl
com.ibm.wala.ecore.java.callGraph.util
com.ibm.wala.ecore.java.impl
com.ibm.wala.ecore.java.pointerAnalysis
com.ibm.wala.ecore.java.pointerAnalysis.impl
com.ibm.wala.ecore.java.pointerAnalysis.util
com.ibm.wala.ecore.java.scope
com.ibm.wala.ecore.java.scope.impl
com.ibm.wala.ecore.java.scope.util
com.ibm.wala.ecore.java.util
com.ibm.wala.ecore.perf
com.ibm.wala.ecore.perf.impl
com.ibm.wala.ecore.perf.util
com.ibm.wala.ecore.regex
com.ibm.wala.ecore.regex.impl
com.ibm.wala.ecore.regex.util
com.ibm.wala.emf.wrappers
com.ibm.wala.escape
com.ibm.wala.examples.analysis
com.ibm.wala.examples.drivers
com.ibm.wala.examples.properties
com.ibm.wala.fixedpoint.impl
com.ibm.wala.fixpoint	This package provides general utilities for fixed-point solvers.
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.cfg	This package supports interprocedural control-flow graphs, and control-flow graphs specialized for context.
com.ibm.wala.ipa.cha	This package supports summaries of synthetic methods.
com.ibm.wala.ipa.modref
com.ibm.wala.ipa.slicer
com.ibm.wala.ipa.summaries	This package provides class hierarchy analysis.
com.ibm.wala.j2ee
com.ibm.wala.j2ee.client
com.ibm.wala.j2ee.client.impl
com.ibm.wala.j2ee.util
com.ibm.wala.logic
com.ibm.wala.model
com.ibm.wala.model.java.lang
com.ibm.wala.model.javax.servlet
com.ibm.wala.model.javax.servlet.http
com.ibm.wala.properties
com.ibm.wala.shrike.bench
com.ibm.wala.shrike.copywriter
com.ibm.wala.shrike.tools
com.ibm.wala.shrikeBT
com.ibm.wala.shrikeBT.analysis
com.ibm.wala.shrikeBT.info
com.ibm.wala.shrikeBT.shrikeCT
com.ibm.wala.shrikeBT.shrikeCT.tools
com.ibm.wala.shrikeBT.tools
com.ibm.wala.shrikeCT
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.collections	Sets and collections
com.ibm.wala.util.config	This package provides miscellaneous utilities for configuration of the analysis.
com.ibm.wala.util.debug	Debugging utilities
com.ibm.wala.util.graph	Graph interfaces
com.ibm.wala.util.graph.impl	Graph implementations
com.ibm.wala.util.graph.traverse	Graph traversal algorithms
com.ibm.wala.util.heapTrace	This package provides a utility which analyzes heap usage by heap-walking via reflection.
com.ibm.wala.util.intset	BitVector and vector utilities
com.ibm.wala.util.io
com.ibm.wala.util.math	Math utilities
com.ibm.wala.util.perf
com.ibm.wala.util.scope
com.ibm.wala.util.tables
com.ibm.wala.util.warnings	This package provides miscellaneous utilities for tracking analysis warnings.
com.ibm.wala.viz
cornerCases
hello
messageFormatTest
multiDim
p
recurse
reflection
slice