Uses of Class
pascal.taie.analysis.graph.icfg.CallEdge
Packages that use CallEdge
-
Uses of CallEdge in pascal.taie.analysis.dataflow.inter
Methods in pascal.taie.analysis.dataflow.inter with parameters of type CallEdgeModifier and TypeMethodDescriptionprotected abstract Fact
AbstractInterDataflowAnalysis.transferCallEdge
(CallEdge<Node> edge, Fact callSiteOut) protected CPFact
InterConstantPropagation.transferCallEdge
(CallEdge<Stmt> edge, CPFact callSiteOut)