pascal.taie.analysis.dataflow.inter (Tai-e 0.5.1-SNAPSHOT API)

package pascal.taie.analysis.dataflow.inter

Class

Description

AbstractInterDataflowAnalysis<Method,Node,Fact>

Provides common functionalities for InterDataflowAnalysis implementations.

InterConstantPropagation

Implementation of interprocedural constant propagation for int values.

InterDataflowAnalysis<Node,Fact>

Template interface for defining inter-procedural data-flow analysis.