pub fn summarize(module: &Module, graph: &CallGraph, summaries: &mut Summaries)Expand description
Works out what every function in the module does to memory.
Callee before caller over the condensation, so a caller is read once its callees have settled,
and round a cycle until nothing moves. The answers go into summaries, narrowed against
whatever the attributes already promised.