Uses of Class
pascal.taie.analysis.ProgramAnalysis

Packages that use ProgramAnalysis

Package	Description
pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
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

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

Subclasses of ProgramAnalysis 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 ProgramAnalysis in pascal.taie.analysis.graph.callgraph

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

Modifier and Type	Class	Description
class	CallGraphBuilder

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

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

Modifier and Type	Class	Description
class	ICFGBuilder

Uses of ProgramAnalysis in pascal.taie.analysis.misc

Subclasses of ProgramAnalysis in pascal.taie.analysis.misc

Modifier and Type	Class	Description
class	ResultProcessor	Special class for process the results of other analyses after they finish.

Uses of ProgramAnalysis in pascal.taie.analysis.pta

Subclasses of ProgramAnalysis in pascal.taie.analysis.pta

Modifier and Type	Class	Description
class	PointerAnalysis

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

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

Modifier and Type	Class	Description
class	MayFailCast
class	PolymorphicCallSite