Weighted pushdown systems and their application to interprocedural dataflow analysis

Thomas Reps, Stefan Schwoon, and Somesh Jha.

In 10th International Static Analysis Symposium (SAS).

San Diego, California, June 2003.

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-all-paths 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.

Paper: [pdf] [ps]
Slides: [ppt]

This page updated October 14, 2005.