Uses of Interface
pascal.taie.analysis.dataflow.inter.InterDataflowAnalysis

Packages that use InterDataflowAnalysis

Package	Description
pascal.taie.analysis.dataflow.inter

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

Classes in pascal.taie.analysis.dataflow.inter that implement InterDataflowAnalysis

Modifier and Type	Class	Description
class	AbstractInterDataflowAnalysis<Method,Node,Fact>	Provides common functionalities for InterDataflowAnalysis implementations.
class	InterConstantPropagation	Implementation of interprocedural constant propagation for int values.