Extended Weighted Pushdown Systems

Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what dataflow values hold at a program node for a particular set of calling contexts?” The generalization, however, does not account for precise handling of local variables. Extended-weighted-pushdown systems address this issue, and provide answers to stack-qualified queries in the presence of local variables as well.

• Type: Conference
• Year: 2005
• Where: CAV
• Authors: Akash Lal, Thomas W. Reps, Gogul Balakrishnan
• Keywords: CAV 2005, Formal Methods, Local Variables, Stack-qualified Queries, Weighted-pushdown Systems