Uses of Interface
pascal.taie.ir.IR

Packages that use IR

Package	Description
pascal.taie.analysis
pascal.taie.analysis.bugfinder
pascal.taie.analysis.bugfinder.nullpointer
pascal.taie.analysis.dataflow.analysis
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
pascal.taie.frontend.cache
pascal.taie.ir	Provide classes related to intermediate representation of method bodies.
pascal.taie.language.classes	Provides functionality related to management of classes (class loading, class members, class hierarchy, etc.) in the program being analyzed.
pascal.taie.language.natives	Provide model for native methods.

Uses of IR in pascal.taie.analysis

Methods in pascal.taie.analysis with parameters of type IR

Modifier and Type	Method	Description
abstract R	MethodAnalysis.analyze(IR ir)	Runs this analysis for the given IR.

Uses of IR in pascal.taie.analysis.bugfinder

Methods in pascal.taie.analysis.bugfinder with parameters of type IR

Modifier and Type	Method	Description
Set<BugInstance>	DroppedException.analyze(IR ir)

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

Methods in pascal.taie.analysis.bugfinder.nullpointer with parameters of type IR

Modifier and Type	Method	Description
Set<BugInstance>	NullPointerDetection.analyze(IR ir)

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

Methods in pascal.taie.analysis.dataflow.analysis with parameters of type IR

Modifier and Type	Method	Description
DataflowResult<Node,Fact>	AnalysisDriver.analyze(IR ir)

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

Methods in pascal.taie.analysis.dataflow.analysis.constprop with parameters of type IR

Modifier and Type	Method	Description
CPFact	ConstantPropagation.Analysis.newBoundaryFact(IR ir)

Uses of IR in pascal.taie.analysis.deadcode

Methods in pascal.taie.analysis.deadcode with parameters of type IR

Modifier and Type	Method	Description
Set<Stmt>	DeadCodeDetection.analyze(IR ir)

Uses of IR in pascal.taie.analysis.defuse

Methods in pascal.taie.analysis.defuse with parameters of type IR

Modifier and Type	Method	Description
DefUse	DefUseAnalysis.analyze(IR ir)

Uses of IR in pascal.taie.analysis.exception

Methods in pascal.taie.analysis.exception that return IR

Modifier and Type	Method	Description
IR	ThrowResult.getIR()

Methods in pascal.taie.analysis.exception with parameters of type IR

Modifier and Type	Method	Description
static CatchResult	CatchAnalysis.analyze(IR ir, ThrowResult throwResult)	Analyzes the exceptions thrown by each Stmt in given IR may be caught by which (catch) Stmts, and which exceptions are not caught in the IR.
ThrowResult	ThrowAnalysis.analyze(IR ir)
static Map<Stmt,List<ExceptionEntry>>	CatchAnalysis.getPotentialCatchers(IR ir)

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

Methods in pascal.taie.analysis.graph.cfg that return IR

Modifier and Type	Method	Description
IR	CFG.getIR()

Methods in pascal.taie.analysis.graph.cfg with parameters of type IR

Modifier and Type	Method	Description
CFG<Stmt>	CFGBuilder.analyze(IR ir)

Uses of IR in pascal.taie.frontend.cache

Methods in pascal.taie.frontend.cache that return IR

Modifier and Type	Method	Description
IR	CachedIRBuilder.buildIR(JMethod method)	This method will be called by JMethod.getIR() only once, so remove the IR from the map after returning it.

Uses of IR in pascal.taie.ir

Classes in pascal.taie.ir that implement IR

Modifier and Type	Class	Description
class	DefaultIR	Default implementation of IR.

Methods in pascal.taie.ir that return IR

Modifier and Type	Method	Description
IR	IRBuildHelper.build(List<Stmt> stmts)	Builds an IR with given Stmts.
IR	IRBuildHelper.buildEmpty()	Builds an emtpy IR which contains only a Return statement.
IR	IRBuilder.buildIR(JMethod method)	Builds IR for concrete methods.

Methods in pascal.taie.ir with parameters of type IR

Modifier and Type	Method	Description
static void	IRPrinter.print(IR ir, PrintStream out)

Uses of IR in pascal.taie.language.classes

Methods in pascal.taie.language.classes that return IR

Modifier and Type	Method	Description
IR	JMethod.getIR()

Uses of IR in pascal.taie.language.natives

Methods in pascal.taie.language.natives that return IR

Modifier and Type	Method	Description
IR	DefaultNativeModel.buildNativeIR(JMethod method)
IR	EmptyNativeModel.buildNativeIR(JMethod method)
IR	NativeModel.buildNativeIR(JMethod method)