Uses of Class
pascal.taie.analysis.MethodAnalysis

Packages that use MethodAnalysis

Package	Description
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.deadcode
pascal.taie.analysis.defuse
pascal.taie.analysis.exception	This package provides functionality to analyze exceptions.
pascal.taie.analysis.graph.cfg

Uses of MethodAnalysis in pascal.taie.analysis.bugfinder

Subclasses of MethodAnalysis in pascal.taie.analysis.bugfinder

Modifier and Type	Class	Description
class	DroppedException

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

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

Modifier and Type	Class	Description
class	IsNullAnalysis
class	NullPointerDetection

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

Subclasses of MethodAnalysis 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 MethodAnalysis in pascal.taie.analysis.dataflow.analysis.availexp

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

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

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

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

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

Uses of MethodAnalysis in pascal.taie.analysis.deadcode

Subclasses of MethodAnalysis in pascal.taie.analysis.deadcode

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

Uses of MethodAnalysis in pascal.taie.analysis.defuse

Subclasses of MethodAnalysis 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 MethodAnalysis in pascal.taie.analysis.exception

Subclasses of MethodAnalysis in pascal.taie.analysis.exception

Modifier and Type	Class	Description
class	ThrowAnalysis

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

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

Modifier and Type	Class	Description
class	CFGBuilder