JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/7880
|
タイトル: | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution |
著者: | Li, Xin Shannon, Daryl Ghosh, Indradeep Ogawa, Mizuhito Rajan, Sreeranga P. Khurshid, Sarfraz |
発行日: | 2008 |
出版者: | Springer |
誌名: | Lecture Notes in Computer Science |
巻: | 5356 |
開始ページ: | 36 |
終了ページ: | 52 |
DOI: | 10.1007/978-3-540-89330-1_4 |
抄録: | Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensitive relevancy analysis algorithm based on weighted pushdown model checking, which pinpoints memory locations in the program where symbolic values can flow into. This information is then utilized by a code instrumenter to transform only relevant parts of the program with symbolic constructs, to help improve the efficiency of symbolic execution of Java programs. Our technique is evaluated on a generalized symbolic execution engine that is developed upon Java Path Finder with checking safety properties of Java applications. Our experiments indicate that this technique can effectively improve the performance of the symbolic execution engine with respect to the approach that blindly instruments the whole program. |
Rights: | This is the author-created version of Springer, Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, and Sarfraz Khurshid, Lecture Notes in Computer Science, 5356, 2008, 36-52. The original publication is available at www.springerlink.com, http://dx.doi.org/10.1007/978-3-540-89330-1_4 |
URI: | http://hdl.handle.net/10119/7880 |
資料タイプ: | author |
出現コレクション: | b10-1. 雑誌掲載論文 (Journal Articles)
|
このアイテムのファイル:
ファイル |
記述 |
サイズ | 形式 |
APLAS08.pdf | | 303Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|