Summary graphs

A (normalized) summary graph represents a set of XML template values:

• The analysis computes a summary graph for each expression in the program.
• The set of summary graphs constitutes a finite lattice (suitable for data-flow analysis)