Tai-e 0.2.2 API
Tai-e is an easy-to-learn/use static analysis framework for Java.
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 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.