Tai-e 0.5.1-SNAPSHOT API
Tai-e is an easy-to-learn/use static analysis framework for Java.
Packages
Package
Description
This package provides functionality to analyze exceptions.
Provides the classes necessary to build and represent a call graph.
Provides the classes necessary to represent an inter-procedural
control-flow graph (ICFG).
Provide functionality related to context sensitivity.
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide various context selectors, which correspond to various
context sensitivity variants.
Provide model for heap objects.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
Provide plugin interface of pointer analysis and
some instances (implementations).
Implementation of various points-to sets used in pointer analysis.
This package contains implementation of Mahjong, which
builds heap model by mering type-consistent objects.
This package contains implementation of Scaler, which selects
suitable context variants for the methods in the program.
This package contains implementation of Zipper and Zipper-e, which selects
precision-critical methods in the program.
This package implements modification side-effect analysis (MOD) which
computes the objects that may be modified by each method and statement.
This package provides functionality for processing options and configurations.
Provide classes related to intermediate representation of method bodies.
Provides representation of annotations in the program being analyzed.
Provides functionality related to management of classes (class loading,
class members, class hierarchy, etc.) in the program being analyzed.
In this package, we offer a generics model for Java.
Provide model for native methods.
Provides model of Java type system.