Uses of Package
pascal.taie.analysis.dataflow.inter
-
ClassDescriptionProvides common functionalities for
InterDataflowAnalysis
implementations.Template interface for defining inter-procedural data-flow analysis.