Computes, for every function-definition vertex F, summary(F) = own(F) unioned with summary(G) over every transitive callee G.
F
summary(F) = own(F)
summary(G)
G
Dataflow.sideEffects.callGraphSummaries
Computes, for every function-definition vertex
F,summary(F) = own(F)unioned withsummary(G)over every transitive calleeG.