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.
-
Classes in pascal.taie.config used by pascal.taie
-
Classes in pascal.taie.config used by pascal.taie.analysisClassDescriptionConfiguration for an analysis.Wrapper class for analysis options.Contains information about analysis execution plan.
-
Classes in pascal.taie.config used by pascal.taie.analysis.bugfinder
-
Classes in pascal.taie.config used by pascal.taie.analysis.bugfinder.nullpointer
-
Classes in pascal.taie.config used by pascal.taie.analysis.dataflow.analysis
-
Classes in pascal.taie.config used by pascal.taie.analysis.dataflow.analysis.availexp
-
Classes in pascal.taie.config used by pascal.taie.analysis.dataflow.analysis.constprop
-
Classes in pascal.taie.config used by pascal.taie.analysis.dataflow.inter
-
Classes in pascal.taie.config used by pascal.taie.analysis.deadcode
-
Classes in pascal.taie.config used by pascal.taie.analysis.defuse
-
Classes in pascal.taie.config used by pascal.taie.analysis.exception
-
Classes in pascal.taie.config used by pascal.taie.analysis.graph.callgraph
-
Classes in pascal.taie.config used by pascal.taie.analysis.graph.cfg
-
Classes in pascal.taie.config used by pascal.taie.analysis.graph.icfg
-
Classes in pascal.taie.config used by pascal.taie.analysis.misc
-
Classes in pascal.taie.config used by pascal.taie.analysis.pta
-
Classes in pascal.taie.config used by pascal.taie.analysis.pta.client
-
Classes in pascal.taie.config used by pascal.taie.analysis.pta.core.heap
-
Classes in pascal.taie.config used by pascal.taie.analysis.pta.core.solver
-
Classes in pascal.taie.config used by pascal.taie.analysis.pta.plugin
-
Classes in pascal.taie.config used by pascal.taie.analysis.pta.toolkit.mahjong
-
Classes in pascal.taie.config used by pascal.taie.configClassDescriptionConfiguration 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. -
Classes in pascal.taie.config used by pascal.taie.frontend.cache
-
Classes in pascal.taie.config used by pascal.taie.frontend.soot