Packages

alreadywalaunittests
annotations
arrayAlias
bugfixes
cell
cfg
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.cast.analysis.typeInference
com.ibm.wala.cast.ipa.callgraph
com.ibm.wala.cast.ipa.cha
com.ibm.wala.cast.ipa.modref
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.client.polyglot
com.ibm.wala.cast.java.examples.ast
com.ibm.wala.cast.java.ipa.callgraph
com.ibm.wala.cast.java.ipa.modref
com.ibm.wala.cast.java.ipa.slicer
com.ibm.wala.cast.java.jdt
com.ibm.wala.cast.java.jdt.test
com.ibm.wala.cast.java.loader
com.ibm.wala.cast.java.polyglot
com.ibm.wala.cast.java.polyglot.test
com.ibm.wala.cast.java.ssa
com.ibm.wala.cast.java.test
com.ibm.wala.cast.java.test.data
com.ibm.wala.cast.java.test.ide
com.ibm.wala.cast.java.translator
com.ibm.wala.cast.java.translator.jdt
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.html
com.ibm.wala.cast.js.html.jericho
com.ibm.wala.cast.js.html.nu_validator
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.rhino.test
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.vis
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.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.collections
com.ibm.wala.core.tests.demandpa
com.ibm.wala.core.tests.ir
com.ibm.wala.core.tests.plugin
com.ibm.wala.core.tests.ptrs
com.ibm.wala.core.tests.slicer
com.ibm.wala.core.tests.typeInference
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.demandpa.alg
com.ibm.wala.demandpa.alg.refinepolicy
com.ibm.wala.demandpa.alg.statemachine
com.ibm.wala.demandpa.driver
com.ibm.wala.demandpa.flowgraph
com.ibm.wala.demandpa.util
com.ibm.wala.eclipse.headless
com.ibm.wala.escape
com.ibm.wala.examples.analysis
com.ibm.wala.examples.analysis.dataflow
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.ide
com.ibm.wala.ide.classloader
com.ibm.wala.ide.tests.util
com.ibm.wala.ide.ui
com.ibm.wala.ide.util
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.slicer.thin
com.ibm.wala.ipa.summaries	This package provides class hierarchy analysis.
com.ibm.wala.j2ee
com.ibm.wala.j2ee.util
com.ibm.wala.js.rhino
com.ibm.wala.model
com.ibm.wala.model.java.lang
com.ibm.wala.model.java.lang.reflect
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.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.functions
com.ibm.wala.util.graph	Graph interfaces
com.ibm.wala.util.graph.dominators
com.ibm.wala.util.graph.impl	Graph implementations
com.ibm.wala.util.graph.labeled
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.processes
com.ibm.wala.util.ref
com.ibm.wala.util.scope
com.ibm.wala.util.shrike
com.ibm.wala.util.strings
com.ibm.wala.util.tables
com.ibm.wala.util.warnings	This package provides miscellaneous utilities for tracking analysis warnings.
com.ibm.wala.viz
com.ibm.wala.viz.viewer
cornerCases
dataflow
demandpa
foo
foo.bar.hello.world
hello
inner
javaonepointfive
messageFormatTest
multiDim
multiTypes
org.mozilla.javascript
p
recurse
reflection
slice
staticInit
string
typeInference