Skip navigation links

API Reference for wala 1.3.9

Packages 
Package Description
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.cast.analysis.typeInference  
com.ibm.wala.cast.ipa.callgraph  
com.ibm.wala.cast.ipa.cha  
com.ibm.wala.cast.ipa.lexical  
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.loader  
com.ibm.wala.cast.tree  
com.ibm.wala.cast.tree.impl  
com.ibm.wala.cast.tree.pattern  
com.ibm.wala.cast.tree.rewrite  
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.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.dalvik.classLoader  
com.ibm.wala.dalvik.dex.instructions  
com.ibm.wala.dalvik.dex.util.config  
com.ibm.wala.dalvik.ipa.callgraph.androidModel
Inserts synthetic code that resembles Androids lifecycle.
com.ibm.wala.dalvik.ipa.callgraph.androidModel.parameters
Controls how variable-instances are handled in the AndroidModel.
com.ibm.wala.dalvik.ipa.callgraph.androidModel.structure
Controls the overall structure of the later model.
com.ibm.wala.dalvik.ipa.callgraph.androidModel.stubs
Contains functions inserted into the AndroidModel.
com.ibm.wala.dalvik.ipa.callgraph.impl  
com.ibm.wala.dalvik.ipa.callgraph.propagation.cfa
Fetch and handle information on Android-Intents.
com.ibm.wala.dalvik.ssa  
com.ibm.wala.dalvik.util
Classes of general use with the AndroidModel.
com.ibm.wala.dalvik.util.androidEntryPoints
Hardcoded specifications of the EntryPoints of Android-components.
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.flowgraph  
com.ibm.wala.demandpa.util  
com.ibm.wala.escape  
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.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.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.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.shrike.bench  
com.ibm.wala.shrike.cg  
com.ibm.wala.shrike.copywriter  
com.ibm.wala.shrike.instrumentation  
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.sourcepos  
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.ssa
A set of classes facilitating the construction of synthetic methods.
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  
Skip navigation links