AnalyzeCallGraph - At this point, we know the functions where globals are immediately stored to and read from. Propagate this information up the call graph to all callers and compute the mod/ref info for all memory for each function.
source not stored for this graph (policy: none)
no test coverage detected