JAIST Repository >
School of Information Science >
Conference Papers >
Conference Papers >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10119/9544

Title: Conditional Weighted Pushdown Systems and Applications
Authors: Li, Xin
Ogawa, Mizuhito
Keywords: Conditional weighted pushdown model checking
Points-to analysis
Object-oriented language
Issue Date: 2010-01-19
Publisher: Association for Computing Machinery (ACM)
Magazine name: PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Start page: 141
End page: 150
DOI: 10.1145/1706356.1706382
Abstract: Pushdown systems are well understood as abstract models ofprograms with (recursive) procedures. Reps et al. recentlyextended pushdown systems into weighted pushdown systems、 whichserve as a generalized framework for solving certain kinds ofmeet-over-all-path problems in program analysis. In this paper、 weextend weighted pushdown systems to conditional weighted pushdownsystems、 by further specifying conditions under which a pushdowntransition rule can be applied、 and show that model checkingproblems on conditional weighted pushdown systems can be reducedto those on weighted pushdown systems.There are wider applications of conditional weighted pushdownsystems when analyzing programs with objected-oriented features、for which weighted pushdown systems is not precise enough under adirect application. As an example、 we lift a stacking-basedpoints-to analysis for Java designed in the framework of weightedpushdown systems to a more precise counterpart in the framework ofconditional weighted pushdown systems. In addition to thefundamental context-sensitivity in terms of valid paths、 thelifted points-to analysis algorithm further enjoyscontext-sensitivity with respect to objected-oriented features、including call graph construction、 heap abstraction、 and heapaccess. These context-sensitive properties are shown to be crucialto the analysis precision in practice.
Rights: Copyright (C) 2010 Association for Computing Machinery (ACM). Xin Li, Mizuhito Ogawa, PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2010, 141-150. http://dx.doi.org/10.1145/1706356.1706382
URI: http://hdl.handle.net/10119/9544
Material Type: author
Appears in Collections:b11-1. 会議発表論文・発表資料 (Conference Papers)

Files in This Item:

File Description SizeFormat
15925-1.pdf198KbAdobe PDFView/Open

All items in DSpace are protected by copyright, with all rights reserved.


Contact : Library Information Section, Japan Advanced Institute of Science and Technology