Uses of Package
pascal.taie.config

Packages that use pascal.taie.config
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 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 Mahjong, which builds heap model by mering type-consistent objects.
This package provides functionality for processing options and configurations.