Reference: Thomas Reps, Stefan Schwoon, Somesh Jha, and David Melski. Weighted pushdown systems and their application to interprocedural dataflow analysis. Science of Computer Programming, 58(1–2):206–263, October 2005. Special Issue on the Static Analysis Symposium 2003. Suggested BibTeX entry: @article{RSJM05,     author = {Thomas Reps and Stefan Schwoon and Somesh Jha and David Melski},     journal = {Science of Computer Programming},     month = {October},     note = {Special Issue on the Static Analysis Symposium 2003},     number = {1--2},     pages = {206--263},     title = {Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis},     volume = {58},     year = {2005} }

GZipped PostScript (942 kB) Conference version, Tech report version