Uses of Class
pascal.taie.analysis.Analysis

Packages that use Analysis

Package	Description
pascal.taie.analysis
pascal.taie.analysis.bugfinder
pascal.taie.analysis.bugfinder.nullpointer
pascal.taie.analysis.dataflow.analysis
pascal.taie.analysis.dataflow.analysis.availexp
pascal.taie.analysis.dataflow.analysis.constprop
pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.deadcode
pascal.taie.analysis.defuse
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.misc
pascal.taie.analysis.pta
pascal.taie.analysis.pta.client
pascal.taie.analysis.sideeffect	This package implements modification side-effect analysis (MOD) which computes the objects that may be modified by each method and statement.

Uses of Analysis in pascal.taie.analysis

Subclasses of Analysis in pascal.taie.analysis

Modifier and Type	Class	Description
class	ClassAnalysis<R>	Abstract base class for all class analyses, or say, intra-class analyses.
class	MethodAnalysis<R>	Abstract base class for all method analyses, or say, intra-procedural analyses.
class	ProgramAnalysis<R>	Abstract base class for all whole-program analyses.

Uses of Analysis in pascal.taie.analysis.bugfinder

Subclasses of Analysis in pascal.taie.analysis.bugfinder

Modifier and Type	Class	Description
class	CloneIdiom
class	DroppedException

Uses of Analysis in pascal.taie.analysis.bugfinder.nullpointer

Subclasses of Analysis in pascal.taie.analysis.bugfinder.nullpointer

Modifier and Type	Class	Description
class	IsNullAnalysis
class	NullPointerDetection

Uses of Analysis in pascal.taie.analysis.dataflow.analysis

Subclasses of Analysis in pascal.taie.analysis.dataflow.analysis

Modifier and Type	Class	Description
class	AnalysisDriver<Node,Fact>	Driver for performing a specific kind of data-flow analysis for a method.
class	LiveVariable	Implementation of live variable analysis.
class	ReachingDefinition

Uses of Analysis in pascal.taie.analysis.dataflow.analysis.availexp

Subclasses of Analysis in pascal.taie.analysis.dataflow.analysis.availexp

Modifier and Type	Class	Description
class	AvailableExpression	Available expression analysis on local variables.

Uses of Analysis in pascal.taie.analysis.dataflow.analysis.constprop

Subclasses of Analysis in pascal.taie.analysis.dataflow.analysis.constprop

Modifier and Type	Class	Description
class	ConstantPropagation	Implementation of constant propagation for int values.

Uses of Analysis in pascal.taie.analysis.dataflow.inter

Subclasses of Analysis in pascal.taie.analysis.dataflow.inter

Modifier and Type	Class	Description
class	AbstractInterDataflowAnalysis<Method,Node,Fact>	Provides common functionalities for InterDataflowAnalysis implementations.
class	InterConstantPropagation	Implementation of interprocedural constant propagation for int values.

Uses of Analysis in pascal.taie.analysis.deadcode

Subclasses of Analysis in pascal.taie.analysis.deadcode

Modifier and Type	Class	Description
class	DeadCodeDetection	Detects dead code in an IR.

Uses of Analysis in pascal.taie.analysis.defuse

Subclasses of Analysis in pascal.taie.analysis.defuse

Modifier and Type	Class	Description
class	DefUseAnalysis	Computes intra-procedural def-use and use-def chains based on reaching definition analysis.

Uses of Analysis in pascal.taie.analysis.exception

Subclasses of Analysis in pascal.taie.analysis.exception

Modifier and Type	Class	Description
class	ThrowAnalysis

Uses of Analysis in pascal.taie.analysis.graph.callgraph

Subclasses of Analysis in pascal.taie.analysis.graph.callgraph

Modifier and Type	Class	Description
class	CallGraphBuilder

Uses of Analysis in pascal.taie.analysis.graph.cfg

Subclasses of Analysis in pascal.taie.analysis.graph.cfg

Modifier and Type	Class	Description
class	CFGBuilder

Uses of Analysis in pascal.taie.analysis.graph.icfg

Subclasses of Analysis in pascal.taie.analysis.graph.icfg

Modifier and Type	Class	Description
class	ICFGBuilder

Uses of Analysis in pascal.taie.analysis.misc

Subclasses of Analysis in pascal.taie.analysis.misc

Modifier and Type	Class	Description
class	IRDumper	Dumps Tai-e IR for classes of input program.
class	ResultProcessor	Special class for process the results of other analyses after they finish.

Uses of Analysis in pascal.taie.analysis.pta

Subclasses of Analysis in pascal.taie.analysis.pta

Modifier and Type	Class	Description
class	PointerAnalysis

Uses of Analysis in pascal.taie.analysis.pta.client

Subclasses of Analysis in pascal.taie.analysis.pta.client

Modifier and Type	Class	Description
class	MayFailCast
class	PolymorphicCallSite

Uses of Analysis in pascal.taie.analysis.sideeffect

Subclasses of Analysis in pascal.taie.analysis.sideeffect

Modifier and Type	Class	Description
class	SideEffectAnalysis