The program summary graph and flow-sensitive interprocedual data flow analysis | Synapse