Uses of Interface
pascal.taie.analysis.graph.icfg.ICFG

Packages that use ICFG

Package	Description
pascal.taie.analysis.dataflow.inter
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).

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

Fields in pascal.taie.analysis.dataflow.inter declared as ICFG

Modifier and Type	Field	Description
protected ICFG<Method,Node>	AbstractInterDataflowAnalysis.icfg

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

Methods in pascal.taie.analysis.graph.icfg that return ICFG

Modifier and Type	Method	Description
ICFG<JMethod,Stmt>	ICFGBuilder.analyze()