|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b11. 会議発表論文・発表資料等 >
b11-1. 会議発表論文・発表資料 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9544
|
| タイトル: | Conditional Weighted Pushdown Systems and Applications |
| 著者: | Li, Xin
Ogawa, Mizuhito |
| キーワード: | Conditional weighted pushdown model checking
Points-to analysis
Object-oriented language |
| 発行日: | 2010-01-19 |
| 出版者: | Association for Computing Machinery (ACM) |
| 誌名: | PEPM '10 Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation |
| 開始ページ: | 141 |
| 終了ページ: | 150 |
| DOI: | 10.1145/1706356.1706382 |
| 抄録: | 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 |
| 資料タイプ: | author |
| 出現コレクション: | b11-1. 会議発表論文・発表資料 (Conference Papers)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 15925-1.pdf | | 198Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
