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 |
|