Uses of Class
pascal.taie.analysis.graph.icfg.CallToReturnEdge

Packages that use CallToReturnEdge

Package	Description
pascal.taie.analysis.dataflow.inter

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

Methods in pascal.taie.analysis.dataflow.inter with parameters of type CallToReturnEdge

Modifier and Type	Method	Description
protected abstract Fact	AbstractInterDataflowAnalysis.transferCallToReturnEdge(CallToReturnEdge<Node> edge, Fact out)
protected CPFact	InterConstantPropagation.transferCallToReturnEdge(CallToReturnEdge<Stmt> edge, CPFact out)