|
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 |
Size | Format |
|---|
| 15925-1.pdf | | 198Kb | Adobe PDF | View/Open |
|
All items in DSpace are protected by copyright, with all rights reserved.
|
