Uses of Interface
pascal.taie.util.Indexer

Packages that use Indexer
Package
Description
 
 
 
Provides the classes to represent and manage context-sensitive elements used in pointer analysis, including context-sensitive pointers, objects, call sites, and methods.
Provide model for heap objects.
Implementation of various points-to sets used in pointer analysis.
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.