Uses of Package
pascal.taie.analysis

Packages that use pascal.taie.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.fact
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.pta.core.cs	Provide functionality related to context sensitivity.
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.

Classes in pascal.taie.analysis used by pascal.taie.analysis

Class	Description
Analysis	Abstract base class for all analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.bugfinder

Class	Description
Analysis	Abstract base class for all analyses.
ClassAnalysis	Abstract base class for all class analyses, or say, intra-class analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.bugfinder.nullpointer

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.dataflow.analysis

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.dataflow.analysis.availexp

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.dataflow.analysis.constprop

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.dataflow.fact

Class	Description
StmtResult	An interface for querying analysis results of Stmt.

Classes in pascal.taie.analysis used by pascal.taie.analysis.dataflow.inter

Class	Description
Analysis	Abstract base class for all analyses.
ProgramAnalysis	Abstract base class for all whole-program analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.deadcode

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.defuse

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.
StmtResult	An interface for querying analysis results of Stmt.

Classes in pascal.taie.analysis used by pascal.taie.analysis.exception

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.graph.callgraph

Class	Description
Analysis	Abstract base class for all analyses.
ProgramAnalysis	Abstract base class for all whole-program analyses.
StmtResult	An interface for querying analysis results of Stmt.

Classes in pascal.taie.analysis used by pascal.taie.analysis.graph.cfg

Class	Description
Analysis	Abstract base class for all analyses.
MethodAnalysis	Abstract base class for all method analyses, or say, intra-procedural analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.graph.icfg

Class	Description
Analysis	Abstract base class for all analyses.
ProgramAnalysis	Abstract base class for all whole-program analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.misc

Class	Description
Analysis	Abstract base class for all analyses.
ClassAnalysis	Abstract base class for all class analyses, or say, intra-class analyses.
ProgramAnalysis	Abstract base class for all whole-program analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.pta

Class	Description
Analysis	Abstract base class for all analyses.
ProgramAnalysis	Abstract base class for all whole-program analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.pta.client

Class	Description
Analysis	Abstract base class for all analyses.
ProgramAnalysis	Abstract base class for all whole-program analyses.

Classes in pascal.taie.analysis used by pascal.taie.analysis.pta.core.cs

Class	Description
StmtResult	An interface for querying analysis results of Stmt.

Classes in pascal.taie.analysis used by pascal.taie.analysis.sideeffect

Class	Description
Analysis	Abstract base class for all analyses.
ProgramAnalysis	Abstract base class for all whole-program analyses.
StmtResult	An interface for querying analysis results of Stmt.