Uses of Package
pascal.taie.analysis.pta.core.heap

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 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.
 
 
 
This package contains implementation of Mahjong, which builds heap model by mering type-consistent objects.
 
This package implements modification side-effect analysis (MOD) which computes the objects that may be modified by each method and statement.