Uses of Interface
pascal.taie.analysis.graph.cfg.CFG

Packages that use CFG

Package	Description
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.graph.cfg

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

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

Modifier and Type	Method	Description
protected DataflowAnalysis<Stmt,pascal.taie.analysis.bugfinder.nullpointer.IsNullFact>	IsNullAnalysis.makeAnalysis(CFG<Stmt> cfg)

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

Fields in pascal.taie.analysis.dataflow.analysis declared as CFG

Modifier and Type	Field	Description
protected final CFG<Node>	AbstractDataflowAnalysis.cfg

Methods in pascal.taie.analysis.dataflow.analysis that return CFG

Modifier and Type	Method	Description
CFG<Node>	AbstractDataflowAnalysis.getCFG()
CFG<Node>	DataflowAnalysis.getCFG()

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

Modifier and Type	Method	Description
protected abstract DataflowAnalysis<Node,Fact>	AnalysisDriver.makeAnalysis(CFG<Node> cfg)	Creates an analysis object for given cfg.
protected pascal.taie.analysis.dataflow.analysis.LiveVariable.Analysis	LiveVariable.makeAnalysis(CFG<Stmt> cfg)
protected pascal.taie.analysis.dataflow.analysis.ReachingDefinition.Analysis	ReachingDefinition.makeAnalysis(CFG<Stmt> cfg)

Constructors in pascal.taie.analysis.dataflow.analysis with parameters of type CFG

Modifier	Constructor	Description
protected	AbstractDataflowAnalysis(CFG<Node> cfg)

Uses of CFG in pascal.taie.analysis.dataflow.analysis.availexp

Methods in pascal.taie.analysis.dataflow.analysis.availexp with parameters of type CFG

Modifier and Type	Method	Description
protected pascal.taie.analysis.dataflow.analysis.availexp.AvailableExpression.Analysis	AvailableExpression.makeAnalysis(CFG<Stmt> cfg)

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

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

Modifier and Type	Method	Description
protected ConstantPropagation.Analysis	ConstantPropagation.makeAnalysis(CFG<Stmt> cfg)

Constructors in pascal.taie.analysis.dataflow.analysis.constprop with parameters of type CFG

Modifier	Constructor	Description
	Analysis(CFG<Stmt> cfg, boolean edgeRefine)

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

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

Modifier and Type	Method	Description
CFG<Stmt>	CFGBuilder.analyze(IR ir)
CFG<Node>	CFGNodeIndexer.cfg()	Returns the value of the cfg record component.

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

Modifier and Type	Method	Description
static <N> String	CFGDumper.toLabel(N node, CFG<N> cfg)

Constructors in pascal.taie.analysis.graph.cfg with parameters of type CFG

Modifier	Constructor	Description
	CFGNodeIndexer(CFG<Node> cfg)	Creates an instance of a CFGNodeIndexer record class.