Uses of Package
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 implements modification side-effect analysis (MOD) which
computes the objects that may be modified by each method and statement.
This package provides functionality for processing options and configurations.
-
-
ClassDescriptionConfiguration for an analysis.Wrapper class for analysis options.Contains information about analysis execution plan.
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
ClassDescriptionConfiguration for an analysis.Wrapper class for analysis options.Manages a collection of
AnalysisConfig
.Option class for Tai-e.Contains information about analysis execution plan.Configuration for an analysis to be executed. -
-