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 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.
-
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.analysis.sideeffect
-
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