Uses of Class
pascal.taie.analysis.Analysis
Packages that use Analysis
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).
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.analysisModifier and TypeClassDescriptionclass
Abstract base class for all class analyses, or say, intra-class analyses.class
Abstract base class for all method analyses, or say, intra-procedural analyses.class
Abstract base class for all whole-program analyses. -
Uses of Analysis in pascal.taie.analysis.bugfinder
Subclasses of Analysis in pascal.taie.analysis.bugfinder -
Uses of Analysis in pascal.taie.analysis.bugfinder.nullpointer
Subclasses of Analysis in pascal.taie.analysis.bugfinder.nullpointer -
Uses of Analysis in pascal.taie.analysis.dataflow.analysis
Subclasses of Analysis in pascal.taie.analysis.dataflow.analysisModifier and TypeClassDescriptionclass
AnalysisDriver<Node,
Fact> Driver for performing a specific kind of data-flow analysis for a method.class
Implementation of live variable analysis.class
-
Uses of Analysis in pascal.taie.analysis.dataflow.analysis.availexp
Subclasses of Analysis in pascal.taie.analysis.dataflow.analysis.availexpModifier and TypeClassDescriptionclass
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.constpropModifier and TypeClassDescriptionclass
Implementation of constant propagation for int values. -
Uses of Analysis in pascal.taie.analysis.dataflow.inter
Subclasses of Analysis in pascal.taie.analysis.dataflow.interModifier and TypeClassDescriptionclass
AbstractInterDataflowAnalysis<Method,
Node, Fact> Provides common functionalities forInterDataflowAnalysis
implementations.class
Implementation of interprocedural constant propagation for int values. -
Uses of Analysis in pascal.taie.analysis.deadcode
Subclasses of Analysis in pascal.taie.analysis.deadcode -
Uses of Analysis in pascal.taie.analysis.defuse
Subclasses of Analysis in pascal.taie.analysis.defuseModifier and TypeClassDescriptionclass
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 -
Uses of Analysis in pascal.taie.analysis.graph.callgraph
Subclasses of Analysis in pascal.taie.analysis.graph.callgraph -
Uses of Analysis in pascal.taie.analysis.graph.cfg
Subclasses of Analysis in pascal.taie.analysis.graph.cfg -
Uses of Analysis in pascal.taie.analysis.graph.icfg
Subclasses of Analysis in pascal.taie.analysis.graph.icfg -
Uses of Analysis in pascal.taie.analysis.misc
Subclasses of Analysis in pascal.taie.analysis.miscModifier and TypeClassDescriptionclass
Dumps Tai-e IR for classes of input program.class
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 -
Uses of Analysis in pascal.taie.analysis.pta.client
Subclasses of Analysis in pascal.taie.analysis.pta.client -
Uses of Analysis in pascal.taie.analysis.sideeffect
Subclasses of Analysis in pascal.taie.analysis.sideeffect