Uses of Package
pascal.taie.language.classes

Package
Description
 
 
 
Provides the classes necessary to build and represent a call graph.
 
 
Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
 
 
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).
 
 
 
 
 
 
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.
 
 
Provide classes related to intermediate representation of method bodies.
 
 
 
Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
Provide model for native methods.
Provides model of Java type system.