Reference: Thomas Reps, Stefan Schwoon, and Somesh Jha. Weighted pushdown systems and their application to interprocedural dataflow analysis. In Radhia Cousot, editor, Proceedings of the 10th International Static Analysis Symposium, volume 2694 of Lecture Notes in Computer Science, pages 189–213. Springer, June 2003. Abstract: Recently, pushdown systems (PDSs) have been extended to weighted PDSs, in which each transition is labeled with a value, and the goal is to determine the meet-over-allpaths value (for paths that meet a certain criterion). This paper shows how weighted PDSs yield new algorithms for certain classes of interprocedural dataflow-analysis problems. Suggested BibTeX entry: @inproceedings{RSJ03a,     author = {Thomas Reps and Stefan Schwoon and Somesh Jha},     booktitle = {Proceedings of the 10th International Static Analysis Symposium},     editor = {Radhia Cousot},     month = {June},     pages = {189--213},     publisher = {Springer},     series = {Lecture Notes in Computer Science},     title = {Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis},     volume = {2694},     year = {2003} }

GZipped PostScript (250 kB) See www.fmi.uni-stuttgart.de ... Tech report version, Journal version